pub const HAVE_GCC__SYNC_INT32_CAS: u32 = 1;