docs: public String getToken() {
      char asChar = getChar();
      if (asChar == NodewalkerCodec.FALLBACK) return "";
      if (asChar == NodewalkerCodec.END_OF_STRING) return "";
      if (asChar == NodewalkerCodec.ESCAPE) return "";
      return new String(new char[]{asChar});
    }