void	RNG_init(unsigned int*);
double	RNG_rand(void);