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