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