pub const GNU_PROPERTY_UINT32_AND_HI: u32 = 0xb0007fff;