Anaphoric WHILE loop: Executes `expr' and `body' as long as `expr' is true.
Binds the symbol `it' to the value of the `test.'