utmpx_ok
utmpx_ok = (access(UTMPX, R_OK|W_OK) == 0);
} while (!utmpx_ok && errno == EINTR);
return (utmpx_ok);
if (!utmpx_ok && !access_utmpx()) {