On Windows, typedef int to int32_t