#include <sys/types.h>

#define __need_clock_t
#define __need_time_t
#define __need_timer_t
#include <time.h>

/* mqd_t */
#include <mqueue.h>

#define __need_mbstate_t
#include <wchar.h>

#include <sys/kern/types.h>
