do-while loop: as the declaration of the loop