Symbol: riscv_insn