docs: public void addCatchCommand(int direction) {
          StringBuilder buf = new StringBuilder();
          buf.append("(catch ");
          buf.append(direction);
          buf.append(')');
          fifo.add(fifo.size(), buf.toString());
      }