Symbol: rv_cr_insn