I'm basically sold on Damian's conclusions. On the other
hand the 'otherwise' clause still feels to me like a CAPITALS
block.

So, as a tweak, I suggest:

     while condition() {
         ...
     }
     NONE {
         ...
     }

--
ralph

Reply via email to