pub const SHT_MIPS_PDESC: u32 = 0x7000_0014;