RANLUX PRNG