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