Introduce jl_get_exception_str