helpfile
(void) edit(helpfile());
if (strcmp(filename, helpfile()) == 0)
char *helpfile(void);
ifile = get_ifile(helpfile(), ifile);