__jmp_buf
typedef int __jmp_buf[42];
typedef int __jmp_buf[23];
typedef unsigned long __jmp_buf[1];
typedef int __jmp_buf[6];
typedef unsigned long __jmp_buf[8];