kernenv_next
senv = kernenv_next(senv);
cpnext = kernenv_next(cp);
for (cp = chkenv; cp != NULL; cp = kernenv_next(cp)) {
static char *kernenv_next(char *);