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