2^32 -2 mod (2^31-1)