utmpxname
utmpxname(argv[2]);
(void) utmpxname(UTMPX_FILE);
if (!utmpxname(root)) {
(void) utmpxname(UTMPX_FILE);
(void) utmpxname(argv[optind]);
(void) utmpxname(UTMPX_FILE);
extern int utmpxname(const char *);
return (utmpxname(name));
if (!utmpxname(argv[1])) {