static new ThreadLocal<Random> customRandomizerForThisThread_tl;

static Random customRandomizerForThisThread() {
  ret customRandomizerForThisThread_tl!;
}