141
141
# We've read to the end of the file, so we should have 8 bytes of
143
143
# We use these 8 bytes to calculate the CRC and the recorded file size.
144
144
# We then check the that the computed CRC and size of the
145
145
# uncompressed data matches the stored values. Note that the size