 <span class="keywordflow">do</span> <span class="keywordflow">while</span> (high &gt; lower(idx))</div>
<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;              <span class="keywordflow">if</span> (ord(pivot,vec(high))) <span class="keywordflow">exit</span></div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;              high = high - 1</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;           <span cla