typedef unsigned long jmp_buf [7];