nexttoken
q = nexttoken(&p);
q = nexttoken(&p); /* load_dump */
q = nexttoken(&p); /* load_dump */
q = nexttoken(&p); /* x.0 */
char *q = nexttoken(p);
q = nexttoken(&p);
nexttoken(&p); /* length of principal */
princ = nexttoken(&p); /* principal name */
if (strcmp(nexttoken(&p), "-1") != 0) return EINVAL;
if (strcmp(nexttoken(&p), "-1") != 0) return EINVAL;
char *q = nexttoken(p);
char *q = nexttoken(p);