- // repeated; only does something if ms_prevCounter > 0
- static void LogLastRepetitionCountIfNeeded();
+ // repeated if ms_prevCounter > 0, does nothing otherwise; return the old
+ // value of ms_prevCounter
+ unsigned LogLastRepetitionCountIfNeeded();