static Random defaultRandomGenerator() {
  ret ThreadLocalRandom.current();
}