n>        m_extent   = new_extent;</div>
<div class="line"><a id="l00242" name="l00242"></a><span class="lineno">  242</span>        new_buffer = old_buffer;</div>
<div class="line"><a id="l00243" name="l00243"></a><span class="lineno">  243</span>    }</div>
<div class="line"><a id="l00244" name="l00244"></a><span class="lineno">  244</span>    <span class="keywordflow">else</span></div>
<div class="line"><a id="l00245" name="l00245"></a><span class="lineno">  245</span>    {</div>
<div class="line"><a id=