--- /dev/null
+#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 */