static AutoCloseable tempSetRandomSeedUnlessNull(Int seed) {
  ret seed == null ?: tempSetRandomSeed(seed);
}