/* setjmp.h	-- setjmp(), longjmp() environment */

typedef char jmp_buf[10];