let int64 x = Random.State.int64 rnd_state x