void glReadPixels(int x, int y, int width, int height, int format, int type, TypedData? pixels) { gl.readPixels(x, y, width, height, format, type, pixels); }