pub const mips_reg_MIPS_REG_F31: mips_reg = 88;