docs: protected String printBuffer() {
          String javaStr = new String(input.getBuffer());
          javaStr = javaStr.replaceAll("\\r", "\\\\r");
          javaStr = javaStr.replaceAll("\\n", "\\\\n");
          return javaStr;
      }