1;; For documentation make sure the same random numbers are generated.
2
3(random-source-state-set!
4 default-random-source
5 (random-source-state-ref (make-random-source)))
6
7(random-source-pseudo-randomize! default-random-source 31 15)
8