1#include_next <stdint.h>
 2
 3#define __need_size_t
 4#include <stddef.h>
 5
 6#include <__typedef_clock_t.h>
 7#include <__typedef_time_t.h>
 8#include <__typedef_blksize_t.h>
 9#include <__typedef_off_t.h>
10#include <__typedef_ssize_t.h>
11#include <__typedef_suseconds_t.h>
12#include <__typedef_nlink_t.h>