/* unxlog.h */
extern void write_utmp(int dologin, int connection, int pid,
                ipxAddr_t *from_addr, uint8  *username);