extension_supported  628 src/runtime/opengl.cpp          extension_supported(user_context, "GL_ARB_texture_rg")) ||
extension_supported  630 src/runtime/opengl.cpp          extension_supported(user_context, "GL_EXT_texture_rg"));
extension_supported  635 src/runtime/opengl.cpp          extension_supported(user_context, "GL_OES_rgb8_rgba8"));
extension_supported  640 src/runtime/opengl.cpp          extension_supported(user_context, "GL_ARB_texture_float")) ||
extension_supported  642 src/runtime/opengl.cpp          extension_supported(user_context, "GL_OES_texture_float"));