The executor first calls the checker and, if no errors were found, starts executing the program. If an error occurs, a back-trace is given (see 5.5.2).
Execution can be terminated by giving a <BREAK>, upon which the Elan Programming Environment reverts to trace-mood.