(1*(2^64) + 8 + 8) bytes