RIGHT_HEADER     1131 htags/htags.c  			definition_header = RIGHT_HEADER;
RIGHT_HEADER     1521 htags/htags.c  					definition_header = RIGHT_HEADER;
RIGHT_HEADER      265 htags/src2html.c {
RIGHT_HEADER      580 htags/src2html.c 	if (warned)