Add RC4 PRNG