Interpreter: using catch to modify abort behaviour