Constant ATOMIC_COUNTER_BARRIER_BIT 

pub const ATOMIC_COUNTER_BARRIER_BIT: u32 = 0x00001000;