ARC4RANDOM: using _rs_random_u32 call instead.