static AutoCloseable tempSetRandomSeed(int seed) {
  ret tempSetCustomRandomizerForThisThread(new Random(seed));
}