#ifndef PLATFORMTYPES_H
#define PLATFORMTYPES_H
#ifdef HAVE_STDINT_H
#include <stdint.h>
#else
// TODO: We should have a proper type definition file created common for standalone model libraries
typedef signed __int8 int8_t;
typedef signed __int16 int16_t;
typedef signed __int32 int32_t;
typedef signed __int64 int64_t;
typedef unsigned __int8 uint8_t;
typedef unsigned __int8 u_int8_t;
typedef unsigned __int16 uint16_t;
typedef unsigned __int16 u_int16_t;
typedef unsigned __int32 uint32_t;
typedef unsigned __int32 u_int32_t;
typedef unsigned __int64 uint64_t;
typedef unsigned __int64 u_int64_t;
typedef unsigned char byte_t;
#endif
#endif // PLATFORMTYPES_H