typedef unsigned long jmp_buf[18];