#ifndef WH_RANDOM_H_47a49370_
#define WH_RANDOM_H_47a49370_

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

#endif