This test case makes jl5c crash.