static extern void VideoDriver_MakeColorKeyTexture(IntPtr videodriver, IntPtr texture, int[] colorKeyPixelPos);