/* random.h */

void usrand (unsigned seed);
unsigned urand0 (void);
unsigned urand (void);

