pub const MAX_COMBINED_ATOMIC_COUNTERS: c_uint = 0x92D7;