pub const mips_reg_MIPS_REG_W31: mips_reg = 128;