do {
   ...
} while should_repeat();
[download]

would also do the trick.