fxrng_hash_finish
fxrng_hash_finish(&fxent_pool[0], hash, sizeof(hash));
fxrng_hash_finish(&fxent_pool[i], hash + i * FXRNG_HASH_SZ,
fxrng_hash_finish(&mix, u.hash_out, sizeof(u.hash_out));