#include <utmpx.h>
#define EMPTY /* TODO */
/*
XOPEN(400)
*/