1 typedef unsigned long long __jmp_buf[13];
2