private void RequestWait() { if (waiting) throw new InternalError (); Report.Debug (DebugFlags.Wait, "Signalling wait event"); wait_event.Set (); }