typedef unsigned long long jmp_buf [56];