typedef unsigned long jmp_buf [9];