let
rnd_state =
Random
.
State
.make_self_init ()