intermediate commit of counter.cpp