#ifndef __KRAND_H
#define __KRAND_H
/*
knuth-random.h
declarations for krand.cc
*/

double knuth_random(void);
long seed_random(long);
int krandom(int);

#endif