rand_bsd 10
12345 1406932606 654583775 1449466924 229283573 1109335178 1051550459 1293799192 794471793 551188310
   654583775 rand_bsd 4
1449466924 229283573 1109335178 1051550459
   rand_ms 10
38 7719 21238 2437 8855 11797 8365 32285 10450 30612
   1 rand_ms 5                  NB. seed of 1
41 18467 6334 26500 19169