quoted            501 htags/src2html.c  * If you want to put '<', '>' and '&', you should echoc() instead.
quoted            503 htags/src2html.c void
quoted            504 htags/src2html.c put_char(int c)