pub const mips_reg_MIPS_REG_T3: mips_reg = 13;