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;