"><a name="l00102"></a><span class="lineno">  102</span>&#160;    fastleftshiftk(hvalt);</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;    ht ^= hvalt;</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    <span class="comment">// extend k by 1</span></div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;    increaseK();</div><