static Random defaultRandomGenerator() {
  try object Random r = customRandomizerForThisThread();
  ret ThreadLocalRandom.current();
}