Symbol: insn_eret