String dumpState() {
    StringBuilder b = new StringBuilder("[\n");
    processAll(i -> {
      b.append(' ').append(i).append('\n');
      return true;
    });
    return b.append("]").toString();
  }
String dumpState()