# $PRNG_SEED

32-bit Pseudo-random-number-generator initialisation.