Use ResettableCounter as the implementation for DynamicCounters