use setjmp in 023-alarm-1.c