public override void Execute(StateImpl application, PrtMachine _parent) { Blah parent = (Blah)(_parent); PrtFunStackFrame currFun = parent.PrtPopFunStackFrame(); PrtValue swap; parent.PrtFunContReturn(null); }