setjmp_aux.c