вообще-то намного лучше добавить Parnas' generalised iterators. но я вот красивого синтаксиса для них придумать не могу. ;-)

p.s.: лучшее, что я смог сочинить:
## Код:
```
LOOP
  WHEN cond DO body AGAIN
  WHEN cond DO body EXIT
END LOOP
```

и, конечно, тот `LOOP`, что есть — аннигилировать.