/* File: random_numbers.h
 *
 * An interface to routines which return a random number
 */

          // initialize the random number generator - should be called only once
void initialize_random();

          // return a uniform random integer in the range 0..limit-1
int get_discrete_random(int limit);

          // a continuous uniform random value in open interval [0...limit)
double get_cont_random(double limit);