a model of a counter