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