/* setjmp in setjmp.S */