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;