Symbol: rv_b_insn