docs: public String dump(int maxLen) {
        String s = dump();
        if (s.length() > maxLen) {
           if (maxLen > 3) {
              s = s.substring(0, maxLen - 3) + "...";
           } else {
              s = s.substring(0, maxLen);
           }
        }
        return s;
  
     }