Adding headers from OpenGL Redbook