HTML_quoting 501 htags/src2html.c const char *quoted = HTML_quoting(c); HTML_quoting 745 htags/src2html.c detab_replacing(out, _, HTML_quoting);