C++: do-while terminado