(setjmp, __setjmp): Add END statements.