Searched defs:number (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()115 int number = remove_tag(line, tag); in main() local