2^{32}