svoid cancelThreadVerbose(Thread t) {
  if (t == null) ret;
  print("Cancelling thread " + t
    + (t != currentThread() ? "": " (current thread!)"));
  cancelThread(t);
}