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