System.RandomSeed:Int (read/write)
Random number generator seed. Using the same seed, you can reproduce the same random number sequence. The seed is a full 32-bit value.
The underlying random number generator is undocumented as of now, and has nothing to do with the random number generators used in VCR/PVCR. It is not guaranteed that the same random number generator will be used throughout all versions of PCC.
See also: Random, Global Properties
