Symbol: insn_mul