RIGHT_HEADER     1674 htags/htags.c  					definition_header = RIGHT_HEADER;
RIGHT_HEADER      355 htags/src2html.c 	if (definition_header == RIGHT_HEADER)
RIGHT_HEADER      724 htags/src2html.c 		if (definition_header == RIGHT_HEADER)