ref: 10b0a33d70cd20d5e21962cf4a8d07a4019eeaa8 dir: /random.h/
#pragma once void randomize(void); double genrand_double(void); uint64_t genrand_uint64(void); uint32_t genrand_uint32(void); int64_t genrand_int63(void);