changing ints to __UINT32_TYPE__