static Random getRandomizer(Random r) {
  ret random != null ? random : defaultRandomGenerator();
}