Symbol: ex_to_insn