docs: public void addChangePlayerTypeCommand(String teamName, int unum, int playerType) {
          StringBuilder buf = new StringBuilder();
          buf.append("(change_player_type ");
          buf.append(teamName);
          buf.append(' ');
          buf.append(unum);
          buf.append(' ');
          buf.append(playerType);
          buf.append(')');
          fifo.add(fifo.size(), buf.toString());
      }