#include <utmpx.h>
#include <stddef.h>

struct utmpx * getutxent(void)
{
	return NULL;
}

/*
XOPEN(400)
*/