return 0;
main(int argc, char* argv[]){  printf("<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n\n");  printf("<!DOCTYPE dictionary SYSTEM \"%s\">\n", argv[1]);  printf("<dictionary>\n");  while (!feof(stdin)) {    unsigned len;    fgets(buffer, 256, stdin);        len = strlen(buffer);    if (len > 0 && buffer[0] != '#') {      if (buffer[len - 1] == '\n') buffer[len - 1] = '\0';      printf("  <operator name=%s/>\n", buffer);    }  }  printf("</dictionary>\n");}