an class="p">)</span><span class="w">                     </span><span class="p">::</span><span class="w"> </span><span class="n">source_string</span><span class="w"></span>
<span class="w"> </span><span class="n">character</span><span class="p">(</span><span class="n">len</span><span class="p">=:),</span><span class="n">intent</span><span class="p">(</span><span class="n">out</span><span class="p">)</span><span class="w">         </span><span class="p">::</span><span class="w"> </span><span class="n">token