utmpx_mark_init
(void) utmpx_mark_init(getpid(), inst->ri_utmpx_prefix);
int utmpx_mark_init(pid_t, char *);