static void interruptThread(Thread t) {
  if (t == null) ret;
  t.interrupt();
  InputStream stream = cast vm_generalSubMap("InputStream per thread").get(t);
  if (stream != null) pcall { stream.close(); }
}