properly coerce setjmp helpers