1 void init_genrand(unsigned long s); 2 void init_by_array(unsigned long init_key[], int key_length); 3 4 /* generates a random number on the interval [0,0x7fffffff] */ 5 unsigned long genrand_int32(void); 6 long genrand_int31(void); 7 double genrand_real1(void); 8 double genrand_real2(void); 9 double genrand_real3(void); 10 double genrand_res53(void);