pub const mips_reg_MIPS_REG_F23: mips_reg = 80;