record_open(file) char *file;
record_open(const char *file)
record_open(file)	char *file;{	if (nfiles < NFILES) {		outfiles[nfiles++] = file;	} else {		f_print(stderr, _("too many files!\n"));		crash();	}}