typedef long long __jmp_buf[8];