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