/// /// A minimal threadsafe counter. /// class AtomicCounter { // ... }