internal static int XFlush(IntPtr display) { DebugHelper.TraceWriteLine ("XFlush"); return _XFlush(display); }