#ifndef _ISL_INCLUDE_ISL_STDINT_H
#define _ISL_INCLUDE_ISL_STDINT_H 1
#ifndef _GENERATED_STDINT_H
#define _GENERATED_STDINT_H "isl 0.22"
/* generated using gnu compiler gcc (Ubuntu 5.4.0-6ubuntu1~16.04.11) 5.4.0 20160609 */
#define _STDINT_HAVE_STDINT_H 1
#include <stdint.h>
#endif
#endif
