Searched refs:tf_num (Results 1 – 1 of 1) sorted by relevance
555 char *tf_num = ""; in output_line() local575 tf_num = fill_tf_buf(tf); in output_line()579 tf_num, ops[op], in output_line()