Searched refs:write_tagged (Results 1 – 1 of 1) sorted by relevance
56 void write_tagged(FILE *out, const char *line, const char *tag, int number) { in write_tagged() function119 write_tagged(output, line, tag, number + do_number); in main()