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