Deleting counter.c, deprecated