base.caps.RandomSeed

mut #: imm base.Nat,
mut #: imm base.Nat,