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