typedef int jmp_buf[14];