private void check_disposed() { if (disposed) throw new ObjectDisposedException ("DebuggerWaitHandle"); }