definit_token
while ((tokp = definit_token(dstate)) != NULL &&
while ((tokp = definit_token(dstate)) != NULL) {
const char *definit_token(void *);
while ((tok = definit_token(dstate)) != NULL) {
while ((p = definit_token(state)) != NULL)