static void callMainInNewThread(Object c, String... args) {
  thread { callMain(c, args); }
}