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);