-- Cyclic redundancy check to verify archived data integrity
package Zip.CRCTo API docTo specTo body is
use Interfaces;
procedure InitTo API docTo body( CRC: out Unsigned_32 );
function FinalTo API docTo body( CRC: Unsigned_32 ) return Unsigned_32;
procedure UpdateTo API docTo body( CRC: in out Unsigned_32; InBuf: Zip.Byte_BufferTo API docTo spec );
pragma Inline( UpdateTo API docTo specTo body );
end Zip.CRCTo API docTo specTo body;