/* _setjmp is implemented in setjmp.S */