fun glGetShaderSource `{ glGetShaderSource(GLuint shader, GLsizei bufSize, GLsizei *length, GLchar *source); `}