new_guest_random_state
struct guest_random_state new_guest_random_state(uint32_t seed);
guest_rng = new_guest_random_state(guest_random_seed);
rand_state = new_guest_random_state(guest_random_seed + vcpu_idx);