Constant SHT_MIPS_XLATE_DEBUG 

pub const SHT_MIPS_XLATE_DEBUG: u32 = 0x7000_0025;