public override string ToString() { return String.Format ("ThreadLock ({0}:{1}:{2})", Stopped, StopEvent, PushedRegisters); }