/div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                __builtin_prefetch(block_ptr.second, 0, 1);</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                <span class="keywordflow">for</span> (i = 0; i != k; i++) {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;</div><div class="line"><a name="l00138"></