Please check the manual page setjmp(3).