base.caps.RandomSeed

mut .iso: iso base.caps.RandomSeed, // from base.ToIso/1
mut #: imm base.Nat,
mut .iso: iso base.caps.RandomSeed, // from base.ToIso/1
mut #: imm base.Nat,