AUT_HEADER32
if ((tokenid == AUT_OHEADER) || (tokenid == AUT_HEADER32) ||
if (header_type == AUT_HEADER32) {
if (tokenid != AUT_HEADER32 && tokenid != AUT_HEADER64 &&
if (tokenid == AUT_HEADER32) {
case AUT_HEADER32:
if ((tokenid == AUT_OHEADER) || (tokenid == AUT_HEADER32) ||
table_initx(AUT_HEADER32, "header", "record",
#define HEADER_ID AUT_HEADER32
char data_header = AUT_HEADER32;
case AUT_HEADER32:
char data_header = AUT_HEADER32;