pub const MAX_COMBINED_ATOMIC_COUNTERS: u32 = 0x92D7;