let rnd_state = Random.State.make_self_init ()