#ifndef _RANDOM_H_1532ce1e_
#define _RANDOM_H_1532ce1e_

#include "db.h"

extern void seed_random(const void *, unsigned int);
extern unsigned int rnd(unsigned int);
extern int rndint(void);
extern double frnd(void);
extern MUFQUAD rndquad(void);

#endif