/* setjmp is in setjmp.S  */