extern void InitGLShaders();