static void joinThread(Thread t) ctex {
  if (t != null) t.join();
}

static void joinThread(Thread t, long ms) ctex {
  if (t != null) t.join(ms);
}