function onglReadPixels(x: GL.int, y: GL.int, width: GL.sizei, height: GL.sizei, format: GL.enum, type: GL.enum, pixels: GL.void): void { }