gen_name_number   166 htags/cflowindex.c 		fprintf(op, gen_name_number(atoi(anchor)));
gen_name_number   142 htags/common.h const char *gen_name_number(int);
gen_name_number   709 htags/src2html.c 	fputs(gen_name_number(lineno), out);
gen_name_number   890 htags/src2html.c 			fputs(gen_name_number(++last_lineno), out);