0257" name="l00257"></a><span class="lineno">  257</span><span class="comment"></span><span class="comment">//</span></div>
<div class="line"><a id="l00258" name="l00258"></a><span class="lineno">  258</span><span class="comment">//*****************************************************************************</span></div>
<div class="line"><a id="l00259" name="l00259"></a><span class="lineno">  259</span><span class="keyword">extern</span> <span class="keywordtype">int</span> <a class="code hl_function" href