/* This file is generated automatically by configure */
#ifdef WIN32
typedef __int8	int8_t;          /* 1 byte  */
typedef unsigned __int8	uint8_t;
typedef __int16	int16_t;
typedef unsigned __int16	uint16_t;
typedef __int32	int32_t;
typedef unsigned __int32	uint32_t;
#else
#include <stdint.h>
#endif
