AUT_OTHER_FILE64
char token_id = AUT_OTHER_FILE64;
case AUT_OTHER_FILE64: {
AUT_OTHER_FILE64, /* token id */
if (!(id == AUT_OTHER_FILE32 || id == AUT_OTHER_FILE64)) {
case AUT_OTHER_FILE64:
if ((tokenid == AUT_OTHER_FILE32) || (tokenid == AUT_OTHER_FILE64))
table_init(AUT_OTHER_FILE64, "file", file64_token, T_EXTENDED);
token_id = AUT_OTHER_FILE64;