static Random defaultRandomizer() {
  ret defaultRandomGenerator();
}