Constant ATOMIC_COUNTER_BARRIER_BIT 

pub const ATOMIC_COUNTER_BARRIER_BIT: c_uint = 0x00001000;