detab_replacing   891 htags/src2html.c 			detab_replacing(out, _, HTML_quoting);
detab_replacing    28 libutil/tab.h  void detab_replacing(FILE *op, const char *buf, const char *(*replace)(int c));