#include <GL/gl.h>

typedef khronos_int32_t GLclampx;

typedef void (*GLDEBUGPROCKHR)(GLenum source, GLenum type, GLuint id,
			       GLenum severity, GLsizei length,
			       const GLchar *message, const void *userParam);