`counter++` is fine here