typedef unsigned long long jmp_buf [15];