n class="o">/=</span><span class="w"> </span><span class="mi">0</span><span class="p">)</span><span class="k">then</span>
<span class="k">      write</span><span class="p">(</span><span class="o">*</span><span class="p">,</span><span class="o">*</span><span class="p">)</span><span class="s1">&#39;*s2v* stopped while reading &#39;</span><span class="o">//</span><span class="nb">trim</span><span class="p">(</span><span class="n">chars</span><span class="p">)</span><span class="w"></span>
<span class="w">     