inline GLboolean VL_glIsFramebuffer(GLuint framebuffer)
 {
   if (glIsFramebufferOES)
     return glIsFramebufferOES(framebuffer);
   else
     VL_TRAP();
   return GL_FALSE;
 }
GLboolean glIsFramebufferOESLogged(GLuint framebuffer) {
	printf("glIsFramebufferOES(%u)\n", framebuffer);
	return glIsFramebufferOES(framebuffer);
}