/* setjmp is implemented in setjmp.S.  */