pub const HAVE_GCC__SYNC_INT32_TAS: u32 = 1;