in src/random/sampling.c [25:39]
void get_seeds(OUT seeds_t *seeds)
{
#if defined(USE_NIST_RAND)
randombytes((uint8_t *)seeds, NUM_OF_SEEDS * sizeof(seed_t));
#else
for(uint32_t i = 0; i < NUM_OF_SEEDS; ++i) {
for(uint32_t j = 0; j < sizeof(seed_t); ++j) {
seeds->seed[i].raw[j] = rand();
}
}
#endif
for(uint32_t i = 0; i < NUM_OF_SEEDS; ++i) {
print("s: ", (uint64_t *)&seeds->seed[i], SIZEOF_BITS(seed_t));
}
}