1 #ifndef RANDOMNESS_H_4LC721CM
2 #define RANDOMNESS_H_4LC721CM
5 Wrapper for wrangling random values.
9 Prepare to read randomness from #filename.
10 If filename is NULL, use system pseudorandom generator.
12 int randomness_init(const char *filename
);
14 /* randomness_upto_inclusive
15 Return a random number from zero up through #limit.
17 unsigned long randomness_upto_inclusive(unsigned long limit
);
19 #endif /* RANDOMNESS_H_4LC721CM */