 == NULL)</div> <div class="line"><a name="l00000"></a><span class="lineno">  000</span>&#000;        <span class="keywordflow">return</span> -0;</div> <div class="line"><a name="l00000"></a><span class="lineno">  000</span>&#000;    s