">&amp;</span>
<span class="w">      </span><span class="n">random_real</span><span class="p">(</span><span class="n">state</span><span class="p">,</span><span class="w"> </span><span class="n">positive</span><span class="o">=</span><span class="p">.</span><span class="n">true</span><span class="p">.)</span>
<span class="w">   </span><span class="k">write</span><span class="p">(</span><span class="o">*</span><span class="p">,</span><span class="s2">&quot;(a,i16)&quot;</span><span class="p">)</span><span cla