Constant ATOMIC_COUNTER_BUFFER_INDEX 

pub const ATOMIC_COUNTER_BUFFER_INDEX: u32 = 0x9301;