static extern void VideoDriver_SetTransform(IntPtr videodriver, TransformationState state, float[] mat);