getutxent_frec
futxp = getutxent_frec();
} while (getutxent_frec() != NULL);
} while (getutxent_frec() != NULL);
(void) getutxent_frec();
while ((fup = getutxent_frec()) != NULL) {