↰ base.rng.FRandom
base.rng.FRandom/0
base.rng.Random/0
read #(seed: imm base.Nat): mut base.rng.Random -> …,