pub const GNU_PROPERTY_X86_UINT32_AND_HI: u32 = 0xc0007fff;