/* setjmp.h   V1.1.0  setjmp(), longjmp() -- non-local goto */

typedef int jmp_buf[4];
