setjmp.h

typedef int __jmp_buf;