ct = less(mask, end, begin);</div>
<div class="line"><a id="l00532" name="l00532"></a><span class="lineno">  532</span>                <span class="keywordflow">if</span>(destruct)</div>
<div class="line"><a id="l00533" name="l00533"></a><span class="lineno">  533</span>                {</div>
<div class="line"><a id="l00534" name="l00534"></a><span class="lineno">  534</span>                    swap(mask, begin, end);</div>
<div class="line"><a id="l00535" name="l00535"></a><span class="lineno">  535</span