protected override void doUndo() { // to undo a push, we pop process.topOfStack = process.topOfStack.Caller; }