2^128-1