</div>
<div class="line"><a id="l00605" name="l00605"></a><span class="lineno">  605</span> </div>
<div class="line"><a id="l00606" name="l00606"></a><span class="lineno">  606</span>        <span class="comment">// free old buffer</span></div>
<div class="line"><a id="l00607" name="l00607"></a><span class="lineno">  607</span>        Memory(stream).free(old_buffer.origin_data());</div>
<div class="line"><a id="l00608" name="l00608"></a><span class="lineno">  608</span>    }</div>
<div class="line"><a id="l