AUT_HEADER64_EX
(tokenid == AUT_HEADER64_EX)) {
} else if (header_type == AUT_HEADER64_EX) {
tokenid != AUT_HEADER32_EX && tokenid != AUT_HEADER64_EX) {
} else if (tokenid == AUT_HEADER64_EX) {
case AUT_HEADER64_EX:
case AUT_HEADER64_EX:
(tokenid == AUT_HEADER64_EX))
table_initx(AUT_HEADER64_EX, "header", "record",
#define HEADER_ID_EX AUT_HEADER64_EX
char data_header = AUT_HEADER64_EX; /* header for this token */
case AUT_HEADER64_EX:
char data_header = AUT_HEADER64_EX; /* header for this token */