<node name="get_next_random_number" channel="inline" format="randomise/retrieve" model="">
    <node name="result" channel="inline" format="text/cybol-path" model=".game.board.field_1"/>
    <node name="minimum" channel="inline" format="number/integer" model="2"/>
    <node name="maximum" channel="inline" format="number/integer" model="14"/>
</node>

<!--
    Operation calls using the same seed deliver identical pseudo random numbers.
    Ideally, the seed should change with every call.
    Therefore, the current time is determined as seed here.
-->
<node name="get_time" channel="inline" format="time/current" model="">
    <node name="result" channel="inline" format="text/cybol-path" model=".seed"/>
</node>
<node name="set_seed" channel="inline" format="randomise/sow" model="">
    <node name="seed" channel="inline" format="text/cybol-path" model=".seed"/>
</node>
<node name="get_random_number" channel="inline" format="randomise/retrieve" model="">
    <node name="result" channel="inline" format="text/cybol-path" model=".number"/>
    <node name="minimum" channel="inline" format="number/integer" model="1"/>
    <node name="maximum" channel="inline" format="number/integer" model="9"/>
</node>