[eclipse 1]: spy writeln/1. spypoint added to writeln / 1. yes. Debugger switched on - leap mode [eclipse 2]: debugging. Debug mode is leap writeln / 1 is being spied yes. [eclipse 3]: true, writeln(hello), true. B+(2) 0 CALL writeln(hello) %> l leap hello B+(2) 0 EXIT writeln(hello) %> c creep B (3) 0 CALL true %> l leap yes. [eclipse 4]: trace. Debugger switched to creep mode yes. [eclipse 5]: true, writeln(hello), true. B (1) 0 CALL true %> c creep B (1) 0 EXIT true %> c creep B+(2) 0 CALL writeln(hello) %> l leap hello B+(2) 0 EXIT writeln(hello) %> l leap yes.