void init_random();
double random_double();
long long random_number(long long n);
void set_random_seed(unsigned int seed);
void clear_random_seed();
unsigned int secure_rand(void);