public CommandResult Step(ThreadingModel model, StepMode mode) { lock (this) { check_alive(); return(servant.Step(model, mode, null)); } }