setjmp_test