#if !defined ISO && !defined ISO99 && !defined ISO11 && !defined POSIX && !defined POSIX2008 && !defined XPG4

type {struct utmpx}

element {struct utmpx} char ut_user []

element {struct utmpx} char ut_id []

element {struct utmpx} char ut_line []

element {struct utmpx} pid_t ut_pid

element {struct utmpx} {short int} ut_type

// Layout chosen to be compatible on 32-bit and 64-bit bi-arch

// systems, which is incompatible with the standard type (see bug

// 18235).

xfail-element {struct utmpx} {struct timeval} ut_tv

type pid_t

type {struct timeval}

element {struct timeval} time_t tv_sec

element {struct timeval} suseconds_t tv_usec

constant EMPTY

constant BOOT_TIME

constant OLD_TIME

constant NEW_TIME

constant USER_PROCESS

constant INIT_PROCESS

constant LOGIN_PROCESS

constant DEAD_PROCESS

function void endutxent (void)

function {struct utmpx*} getutxent (void)

function {struct utmpx*} getutxid (const struct utmpx*)

function {struct utmpx*} getutxline (const struct utmpx*)

function {struct utmpx*} pututxline (const struct utmpx*)

function void setutxent (void)

allow-header sys/time.h

allow ut_*

allow *_t

#endif