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