_updwtmpx
int _updwtmpx(const char *, const struct utmpx *);
(void)_updwtmpx(file, utx);
if (_updwtmpx(_PATH_WTMPX, &utmpx) != 0)