while (!done(...)) {
   ...
}