Thick Ada binding for OpenGL and GLFW