Constant UNSIGNED_INT_ATOMIC_COUNTER 

pub const UNSIGNED_INT_ATOMIC_COUNTER: u32 = 0x92DB;