Randomseed
The value used to seed the shared "game" PRNG.
It is initially set to 1996. It can be set to an arbitrary value with getticks:
getticks randomseed
Note that the value of randomseed will change when invoking the PRNG through functions like randvar. If you want to record the seed for future play sessions, do it before invoking the generator.