k=16; 2**(k-1) - k - 1