Symbol: DISAS_ALT_INSN_MAX