try external
external_routine
catch 1
try eiffel
eiffel_routine
catch 2
try nothing
Execution completed