static extern int screen_post_window(IntPtr win, IntPtr buffer, int rect_count, [In] int[] dirty_rects, Flushing flushing);