pub const SHF_MIPS_NODUPE: u32 = 0x0100_0000;