static bool getfilename (FILE* fp, char *filename) /* Finds filename of an open file from the file descriptor. Unix-specific and probably non-portable. */ { ... }