/* setjmp is in setjmp.S */