an><span class="n">isub</span> <span class="o">&gt;</span> <span class="mi">0</span><span class="p">)</span><span class="k">then</span>                            <span class="c">! entry was in dictionary</span>
         <span class="n">val</span><span class="o">=</span><span class="n">values</span><span class="p">(</span><span class="n">isub</span><span class="p">)</span>                         <span class="c">! retrieve corresponding value for requested entry</span>
         <span class="n">llen</span><s