void GVI_ReadPixels(GVI_GC srcgc,
                    int x, int y, int xsize, int ysize,
                    void* destbuffer);