typedef int jmp_buf[13];