PGP's randpool()