static S botNameAtPort(int port) null on exception {
  DialogIO io = talkToOpt(port);
  if (io != null) {
    S name = io.readLine();
    io.close();
    ret name;
  }
  null;
}