ref: 97d0c80fcc6e076d3a856f3ec2230194ce0e7b3f dir: /random.h/
#ifndef RANDOM_H_ #define RANDOM_H_ void randomize(void); double genrand_double(void); uint64_t genrand_uint64(void); uint32_t genrand_uint32(void); int64_t genrand_int63(void); #endif