static Random customRandomizerForThisThread() {
  ret customRandomizerForThisThread_tl()!;
}