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