pub const SHF_MIPS_NAMES: u32 = 0x0200_0000;