get_filename
char *get_filename(void);
} else if ((fnp = get_filename()) == NULL)
} else if ((fnp = get_filename()) == NULL)
if ((fnp = get_filename()) == NULL)
} else if ((fnp = get_filename()) == NULL)
const char *get_filename (void);
fprintf (stderr, "%s:%d: ", get_filename(), lineno);