{((uint64_t*)_data)[0],x} - {((uint64_t*)_data)[1],x} - {((uint64_t*)_data)[2],x} - {((uint64_t*)_data)[3],x} {((uint64_t*)_data)[0],x}... {zipPath.rel} || {filename} in {location} {zipPath.rel} || {filename} {zipPath.rel} || {filename} in {location}: {contentsHash,view(simple)} Manifest {_comment}: {_files} _files {_manifest->_files._Mypair._Myval2._Myfirst[_index],view(target)} {_manifest->_files._Mypair._Myval2._Myfirst[_index],view(provided)} {_manifest->_files._Mypair._Myval2._Myfirst[_index]} _manifest->_files._Mypair._Myval2._Myfirst + _index {target,view(target)} <= {provided,view(provided)}