">*</span><span class="p">,</span><span class="s2">&quot;(a,i16)&quot;</span><span class="p">)</span><span class="w"> </span><span class="s2">&quot;Sample Unif(1, ..., 20*huge(0)) = &quot;</span><span class="p">,</span><span class="w"> </span><span class="p">&amp;</span>
<span class="w">      </span><span class="n">random_integer</span><span class="p">(</span><span class="n">state</span><span class="p">,</span><span class="w"> </span><span class="mi">20_long</span><span class="o">*</span><span class="nb">hu