Re: Washing the X917C generator

[Wei Dai]

If you need an RNG that can make use of seed that is not uniformly
distributed, then I suggest RandomPool (randpool.h) instead. If you must
use the X9.17 RNG for standard compliance, you can use RandomPool to wash
the seed and then feed it to X9.17.