((2^32 - 5)