header64_token
header64_token, T_EXTENDED);
extern int header64_token();
extern void header64_token(adr_t *, parse_context_t *);