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