another jl_safe_printf in _exception_handler()