michael@0: #ifdef _WIN32
michael@0: typedef __int64 int64_t;
michael@0: typedef unsigned __int64 uint64_t;
michael@0: #if !defined(INT64_MAX)
michael@0: #define INT64_MAX 9223372036854775807LL
michael@0: #endif
michael@0: #else
michael@0: #include <stdint.h>
michael@0: #endif
michael@0: