static void roboDo(S progID, Runnable r) {
  ai_useProgramID(progID);
  roboDo(r);
}

static void roboDo(Runnable r) {
  roboInit();
  try {
    callF(r);
  } finally {
    print("\n[done]");
  }
}