AFTER_HEADER     1669 htags/htags.c  			definition_header = AFTER_HEADER;
AFTER_HEADER     1676 htags/htags.c  					definition_header = AFTER_HEADER;
AFTER_HEADER     1754 htags/htags.c  		definition_header = AFTER_HEADER;
AFTER_HEADER      727 htags/src2html.c 		if (definition_header == AFTER_HEADER) {