print_file_name   307 htags/fileindex.c static const char *print_file_name(int, const char *);
print_file_name   408 htags/fileindex.c 				PUT(print_file_name(level, path));