Why do we need a counter? All we want to do is to slice `user_ids` in `batch_size` pieces, no?