2.3.9 Loop

A statement of the form:

    LOOP S END

repeatedly executes S until it raises the exit-exception. Informally it is like:

    TRY S; S; S; ... EXCEPT  exit-exception  => (*skip*)  END