1 #ifndef RANDOM_H_
2 #define RANDOM_H_
3 
4 #include <stdint.h>
5 
6 // Seeds the random number generator
7 void rand_set_seed(int seed);
8 
9 // Returns a random integer in [0, limit)
10 uint64_t rand_range(uint64_t limit);
11 
12 // Returns a random proportion in [0.0, 1.0]
13 double rand_proportion();
14 
15 #endif
16