static void roboDo(Runnable r) {
  roboDo(programID(), r);
}

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