do {
   ...
} while should_repeat();