118 	File *f;  in rescue()  local
168 	File *f;  in hiccough()  local
214 trytoclose(File *f)  in trytoclose()
240 	File *f;  in trytoquit()  local
255 load(File *f)  in load()
284 delete(File *f)  in delete()
297 	File *f;  in update()  local
318 current(File *f)  in current()
324 edit(File *f, int cmd)  in edit()
361 getname(File *f, String *s, int save)  in getname()
402 filename(File *f)  in filename()
412 undostep(File *f, int isundo)  in undostep()
439 	File *f;  in undo()  local
501 	File *f;  in cd()  local
567 	File *f;  in readflist()  local
602 	File *f;  in tofile()  local
618 	File *f;  in getfile()  local
628 closefiles(File *f, String *s)  in closefiles()
644 copy(File *f, Address addr2)  in copy()
660 move(File *f, Address addr2)  in move()
673 nlcount(File *f, Posn p0, Posn p1)  in nlcount()
684 printposn(File *f, int charsonly)  in printposn()