typedef char  *jmp_buf[3];