Should be printed.
jump catch handler.
jump default handler.
Catch unhandled_exception.
