inline void VL_glGetFramebufferAttachmentParameteriv(GLenum target, GLenum attachment, GLenum pname, GLint *params)
 {
   if (glGetFramebufferAttachmentParameterivOES)
     glGetFramebufferAttachmentParameterivOES(target,attachment,pname,params);
   else
     VL_TRAP();
 }
void glGetFramebufferAttachmentParameterivOESLogged(GLenum target, GLenum attachment, GLenum pname, GLint* params) {
	printf("glGetFramebufferAttachmentParameterivOES(%s, %s, %s, %p)\n", GLEnumName(target), GLEnumName(attachment), GLEnumName(pname), params);
	glGetFramebufferAttachmentParameterivOES(target, attachment, pname, params);
}