pub const GNU_PROPERTY_X86_UINT32_OR_HI: u32 = 0xc000ffff;