static Random repeatableRandomizer() {
  ret predictableRandom();
}