Update counter.c