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

struct utmpx * getutxid(const struct utmpx *id)
{
	return NULL;
}

/*
XOPEN(400)
*/