/* random.h */ void usrand (unsigned seed); unsigned urand0 (void); unsigned urand (void);