Header injection aimed to add type checks for glVertexPointer-like OpenGL functions