typedef char jmp_buf[256];