static ThreadLocal<F1<S, Bool>> print_byThread() {
  synchronized(print_byThread_lock) {
    if (print_byThread == null)
      print_byThread = new ThreadLocal;
  }
  ret print_byThread;
}