static void callFInNewThread(O f, O... args) {
  callF_thread(f, args);
}