94 FILE *listfile;  variable
139 	listfile = NULL;  in main()
171 			if ((listfile = fopen(optarg, "w")) == NULL) {  in main()
298 		if (listfile != NULL)  in main()
611 				fprintf(listfile, "             \t%s", buf);  in output_listing()
614 		fprintf(listfile, "%04x %02x%02x%02x%02x", instrptr,  in output_listing()
633 			fprintf(listfile, "\t%s", buf);  in output_listing()
636 			fprintf(listfile, "\n");  in output_listing()
642 		fprintf(listfile, "             %s", buf);  in output_listing()
716 	if (listfile != NULL) {  in stop()
717 		fclose(listfile);  in stop()