docs: public static String[] toStrings(SymbolToken[] symbols, int count)
      {
          if (count == 0) return _Private_Utils.EMPTY_STRING_ARRAY;
  
          String[] annotations = new String[count];
          for (int i = 0; i < count; i++)
          {
              SymbolToken tok = symbols[i];
              String text = tok.getText();
              if (text == null)
              {
                  throw new UnknownSymbolException(tok.getSid());
              }
              annotations[i] = text;
          }
          return annotations;
      }