public static extern void libvlc_video_set_format(IntPtr mp, IntPtr chroma, int width, int height, int pitch);