static AutoCloseable tempUsePredictableRandomizer() {
  ret tempSetRandomSeed(0);
}