Turn while loop into do-while, we know it will be executed at least once.