Revised header for OpenGL