longjmp calls now typechecking