MAXXFRMLEN
MAXXFRMLEN) < MAXXFRMLEN, "strxfrm() result for %d-length "
MAXXFRMLEN);
char xval[MAXXFRMLEN];