base.rng.FRandom

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