pub const SHF_MIPS_NOSTRIP: u32 = 0x0800_0000;