⁷By setting the seed of an MT32 PRNG to N will cause it to generate the sequence of numbers that correspond to those produced by random(k) from the existing module RANDOM (see Section 8.4) for $k=0,1,2,\dots$ if Maude is started with the flag -random-seed=N, where N is taken as 0 if no such flag is given.