pub const mips_reg_MIPS_REG_F15: mips_reg = 72;