debug_buffer     1172 src/runtime/opengl.cpp         debug_buffer(user_context, buf);
debug_buffer     1256 src/runtime/opengl.cpp         debug_buffer(user_context, buf);