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