Update infinite_counter.cpp