10.39 Functions in <setjmp.h>