gen_name_number 109 htags/common.h const char *gen_name_number(int); gen_name_number 565 htags/src2html.c fputs(gen_name_number(lineno), out); gen_name_number 744 htags/src2html.c fputs(gen_name_number(++last_lineno), out);