AFTER_HEADER 1133 htags/htags.c definition_header = AFTER_HEADER; AFTER_HEADER 1516 htags/htags.c definition_header = AFTER_HEADER; AFTER_HEADER 1523 htags/htags.c definition_header = AFTER_HEADER; AFTER_HEADER 1601 htags/htags.c definition_header = AFTER_HEADER; AFTER_HEADER 583 htags/src2html.c if (definition_header == AFTER_HEADER) {