Use RC4 for random number generation
rng state