docs: public String getDebugToken() {
      char asChar = getChar();
      if (asChar == NodewalkerCodec.FALLBACK) return "<STOP>";
      if (asChar == NodewalkerCodec.END_OF_STRING) return "<NULL>";
      if (asChar == NodewalkerCodec.ESCAPE) return "<ESC>";
      if (asChar == '\\') return "\\\\";
      if (asChar == '\n') return "\\n";
      return new String(new char[]{asChar});
    }