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