long random(void) { if (NULL == real_random) { __random_init(); } return real_random(); }
unsigned _native_rng_read_det(char *buf, unsigned num) { DEBUG("_native_rng_read_det\n"); for (unsigned i = 0; i < num; i++) { _native_syscall_enter(); buf[i] = (char)real_random(); _native_syscall_leave(); } return num; }
double RandomNode::Forward(const GameState& state) { return real_random(); }