(2^((2^(31-1))-1))