__rand64(state);
}
-void init_rand(struct frand_state *state, int use64)
+void init_rand(struct frand_state *state, bool use64)
{
state->use64 = use64;
__init_rand64(&state->state64, 1);
}
-void init_rand_seed(struct frand_state *state, unsigned int seed, int use64)
+void init_rand_seed(struct frand_state *state, unsigned int seed, bool use64)
{
state->use64 = use64;