quoted            501 htags/src2html.c 	const char *quoted = HTML_quoting(c);
quoted            503 htags/src2html.c 	if (quoted)
quoted            504 htags/src2html.c 		strbuf_puts(outbuf, quoted);