Syntax	Rand.Seed (seed : nat4, seq : 1 .. 10)
Description	The Rand.Seed procedure restarts one of the sequences generated by Rand.Next. Each restart with the same seed causes Rand.Next to produce the same sequence for the given sequence.
Status	Exported qualified. This means that you can only call the function by calling Rand.Seed, not by calling Seed.
See also	Rand.Next, Rand.Int, Rand.Real, and Rand.Set.