/* drvRandom.h */

double drvRandom(double upper_limit);