#include <sys/time.h>
#define FD_SET /* TODO */
/*
XOPEN(400)
*/