Used by insn_t::flags