#include <sys/time.h>

int main(void)
{
#ifndef _POSIX_SOURCE
#error	"_POSIX_SOURCE is not defined"
#endif
    return (0);
}