Symbol: insn_di