1014   char *progname;  in main()  local
1017   progname = strrchr(argv[0], '/');  in main()
1018   if (progname)  in main()
1019     progname++;  in main()
1021     progname = argv[0];  in main()
1025     fprintf(stderr, "\nUsage:  %s INFILE OUTFILE\n\n", progname);  in main()
1035             progname,  in main()
1048             progname,  in main()
1058             progname,  in main()
1065             progname,  in main()
1077             progname,  in main()
1087             progname,  in main()
1096             progname,  in main()
1106             progname,  in main()
1113               progname,  in main()
1126             progname,  in main()
1134             progname,  in main()