get_ifile
return (edit_ifile(get_ifile(filename, curr_ifile)));
if (get_ifile(good_filename, curr_ifile) == curr_ifile) {
IFILE get_ifile(char *, IFILE);
ifile = get_ifile(helpfile(), ifile);
(void) get_ifile(filename, ifile);