Added missed counter.h file