>state</span><span class="p">)</span>

<span class="w">   </span><span class="c">! Restore initial seed</span>
<span class="w">   </span><span class="k">call </span><span class="n">random_set_seed</span><span class="p">(</span><span class="n">state</span><span class="p">,</span><span class="w"> </span><span class="n">seed</span><span class="p">)</span>

<span class="w">   </span><span class="c">! Generate the same random values</span>
<span class="w">   </span><span class="k">write</span><span class="p">(</