docs: LinesToCharsResult linesToChars(String text1, String text2) {
          List<String> lineArray = new ArrayList<>();
          Map<String, Integer> lineHash = new HashMap<>();
          // e.g. linearray[4] == "Hello\n"
          // e.g. linehash.get("Hello\n") == 4
  
          // "\x00" is a valid character, but various debuggers don't like it.
          // So we'll insert a junk entry to avoid generating a null character.
          lineArray.add("");
  
          String chars1 = linesToCharsMunge(text1, lineArray, lineHash);
          String chars2 = linesToCharsMunge(text2, lineArray, lineHash);
          return new LinesToCharsResult(chars1, chars2, lineArray);
      }