Re: RandomGen, mkStdGen