static void runInNewThreadWithNotify(final S progID, final O notification) {
  thread {
    try {
      pcall {
        callMain(hotwire(progID));
      }
    } finally {
      pcallF(notification);
    }
  }
}