#ifndef _KAFFE_INCLUDE_CONFIG_INT_H
#define _KAFFE_INCLUDE_CONFIG_INT_H 1
#ifndef _GENERATED_STDINT_H
#define _GENERATED_STDINT_H "kaffe 1.1.7"
/* generated using gnu compiler gcc (nb4 20200810) 7.5.0 */
#define _STDINT_HAVE_STDINT_H 1
#include <stdint.h>
#endif
#endif
