8void init_by_array(
unsigned long init_key[],
int key_length);
10void init_genrand(
unsigned long s);
13double genrand_real1(
void);
16double genrand_real2(
void);
19double genrand_real3(
void);
22double genrand_real3(
void);
25double genrand_res53(
void);