ss(mask, end, begin);</div>
<div class="line"><a id="l00311" name="l00311"></a><span class="lineno">  311</span>                         <span class="keywordflow">if</span>(destruct)</div>
<div class="line"><a id="l00312" name="l00312"></a><span class="lineno">  312</span>                         {</div>
<div class="line"><a id="l00313" name="l00313"></a><span class="lineno">  313</span>                             swap(mask, begin, end);</div>
<div class="line"><a id="l00314" name="l00314"></a><span class=