arg_file_name 378 gc/cord/de.c char * arg_file_name; arg_file_name 501 gc/cord/de.c CORD name = CORD_cat(CORD_from_char_star(arg_file_name), arg_file_name 544 gc/cord/de.c if ((f = fopen(arg_file_name, "rb")) == NULL) { arg_file_name 577 gc/cord/de.c arg_file_name = argv[1]; arg_file_name 90 gc/cord/de_win.c arg_file_name = CORD_to_char_star( arg_file_name 60 gc/cord/de_win.h extern char * arg_file_name;