setjmp • man page