em> be an integer variable, <em>e1</em> and
    <em>e2</em> be expressions yielding integer values, and the
    iteration is identical in meaning to the sequence of statements

<pre>
<em>id</em> := <em>e1</em>;
<em>limit</em> := <em>e2</em>;
LOOP
  IF <em>id</em> &gt; <em>limit</em> THEN EXIT END;
  <em>s</em>;
  <em>id</em> := <em>id</em> + 1;
END;
</pre>
where <em>limit</em> is a compiler-generated temporary integer variable.

    <h4>Exit statements</h4>

    An exit statement may appear only within the 