typedef unsigned long jmp_buf[6];