typedef unsigned long long jmp_buf[32];