do-while loop (guarantees at least one run of a loop)