#ifndef _UTIL_H_ #define _UTIL_H_ double xrand(double xl, double xh); void pranset(long seed); double prand(void); double cputime(void); #endif