63646566676869707172
else throw new InterpreterException(stderr); } else{ External_Exception except= (External_Exception) arg.getExternalInstanceOf(External_Exception.class); except.raise(); return null; } } }