typedef int jmp_buf[3];