It seems this counter is only ever read or incremented.  Should there be a place it is decremented?