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