#if 0

#include <utmpx.h>

void endutxent(void)
{
}

/*
XOPEN(400)
*/


#endif