Is it really wise to choose a random number generator based on RC4, which is known to have remarkably strong biases? Surely it would be better to use something based on ChaCha20, Keccak or Spritz if you have the choice?
http://www.openbsd.org/papers/hackfest2014-arc4random/mgp000...