1391,1392c1391,1392
< underflow = 0;
< overflow = 0;
---
> underflow = Counter();
> overflow = Counter();