#ifndef _CHECK_CHECK_STDINT_H #define _CHECK_CHECK_STDINT_H 1 #ifndef _GENERATED_STDINT_H #define _GENERATED_STDINT_H "check 0.10.0" /* generated using gnu compiler arm-linux-gnueabihf-gcc (Linaro GCC 6.2-2016.11) 6.2.1 20161016 */ #define _STDINT_HAVE_STDINT_H 1 #include <stdint.h> #endif #endif