;</div> <div class="line"><a name="l00000"></a><span class="lineno">  000</span>&#000;        <span class="keywordflow">else</span> <span class="keywordflow">if</span> (*ptr == <span class="charliteral">&#00;\