      <span class="comment">//</span></div><div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;</div><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;      destination_iterator.set_iteration_index(iter);</div><div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;      destination_iterator.store(output_fragment);</div><div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;      ++destination_iterator;</div><