2^64 bits