1 #include <_/cdefs.h>
2 #include <stddef.h>
3 #include <stdint.h>
4 #include <stdbool.h>
5 #include <stdarg.h>
6 #include <sys/types.h>
7 
8 typedef uint64_t __uint64_t;
9 #define _UINT64_C UINT64_C
10