RANDOM_SEED must have either no arguments or exactly one argument. SIZE is a
scalar integer giving the number of integers N that are used by the
random number generator to represent the seed. PUT is a one-dimensional array
of size >N that can be used to initialise the seed
parameters. GET is a one-dimensional array of size >N that
can be used to get the current values of the seed parameters.
If RANDOM_SEED is called with no arguments then a default initial value is
assigned to the seed.