typedef unsigned long jmp_buf [64];