Symbol: insn_sra