60;     </div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;     <span class="keywordflow">if</span> (low &lt; high) <span class="keywordflow">then</span></div>
<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        pivot = (vec(high) + vec(low)) / 2</div>
<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        <span class="keywordflow">do</span> <span class="keywordflow">while</span>(low &lt; high)</div>
<div clas