cprng_strong64
rndval = cprng_strong64();
uint64_t rndval = cprng_strong64();
rndid = cprng_strong64();
randnum = cprng_strong64();
uint64_t cprng_strong64(void);