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>