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