stdint for Win32