no">  124</span>&#160;           lower(idx + 1) = high</div>
<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;           upper(idx) = low</div>
<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;           <span class="comment">! lower(idx) is unchanged</span></div>
<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;        <span class="keywordflow">else</span></div>
<div class="line"><a name="l00128"></a><span class="lineno"