pub const riscv_insn_RISCV_INS_FADD_S: riscv_insn = 142;