static void runInNewThread(final S progID) {
  thread {
    callMain(hotwire(progID));
  }
}