/*
 *  ======================================================================
 *  Header file for generation of random numbers.
 *
 *  Written By : M. Austin                                        May 1995
 *  ======================================================================
 */

/* function declarations */

void   InitRandom( long int );
double Random();