Edit: counter.h