2 ^32 / ?.