file64_token
table_init(AUT_OTHER_FILE64, "file", file64_token, T_EXTENDED);
extern int file64_token();
extern void file64_token(adr_t *, parse_context_t *);