public override void Execute(AbstractMachineState state) { AMProgram program = (AMProgram)state.Program; AMHeap heap = (AMHeap)state.DataArea; AbstractTerm X0 = (AbstractTerm)state["X0"]; Console.Write(X0.ToString()); program.Next(); }