pub const mips_reg_MIPS_REG_HI: mips_reg = 129;