#ifndef WH_RANDOM_H_f4764664_
#define WH_RANDOM_H_f4764664_

extern void init_rnd(void);
extern unsigned short int rnd_16(void);
extern double rnd_unit(void);
extern double rnd_samp(void);

#endif