random, srandom, initstate, setstate">