uint64_t hval(hvals[charmask(bw)]);</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    fastleftshiftk(hval);</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    h ^= hval;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;    <span class="comment">// update ht, ht(a[-1..k-1]) = p(~a[-1]) + x * ht(a[0..k-1])</span></div><di