Constant SHT_MIPS_XLATE_OLD 

pub const SHT_MIPS_XLATE_OLD: u32 = 0x7000_0028;