static Map<Thread, Bool> registerThread_threads = synchroMap(new WeakHashMap);

static Thread registerThread(Thread t) {
  registerThread_threads.put(t, true);
  ret t;
}