t stdint w32.win32base