"comment">! Split splice based on pivot, making sure to throw the smaller splice on the higher end of the stack</span></div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordflow">if</span> (upper(idx) - high &lt; low - lower(idx)) <span class="keywordflow">then</span></div>
<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;           upper(idx + 1) = upper(idx)</div>
<div class="line"><a name="l00124"></a><span class="line