typedef unsigned long jmp_buf[8];