s_id              769 htags/src2html.c 			char s_id[32];
s_id              777 htags/src2html.c 				snprintf(s_id, sizeof(s_id), "%d", incref->id);
s_id              779 htags/src2html.c 				file = s_id;