uml: eliminate setjmp_wrapper