label_token
label_token, T_ELEMENT);
extern int label_token();
extern void label_token(adr_t *, parse_context_t *);