AUT_HEADER32_EX
(tokenid == AUT_HEADER32_EX) || (tokenid == AUT_HEADER64) ||
} else if (header_type == AUT_HEADER32_EX) {
tokenid != AUT_HEADER32_EX && tokenid != AUT_HEADER64_EX) {
} else if (tokenid == AUT_HEADER32_EX) {
case AUT_HEADER32_EX:
case AUT_HEADER32_EX:
(tokenid == AUT_HEADER32_EX) || (tokenid == AUT_HEADER64) ||
table_initx(AUT_HEADER32_EX, "header", "record",
#define HEADER_ID_EX AUT_HEADER32_EX
char data_header = AUT_HEADER32_EX;
case AUT_HEADER32_EX:
char data_header = AUT_HEADER32_EX;