jl5c does not capture the error in this test case.