1. -- Cyclic redundancy check to verify archived data integrity 
  2.  
  3. package Zip.CRC is 
  4.  
  5.   use Interfaces; 
  6.  
  7.   procedure Init( CRC: out Unsigned_32 ); 
  8.  
  9.   function  Final( CRC: Unsigned_32 ) return Unsigned_32; 
  10.  
  11.   procedure Update( CRC: in out Unsigned_32; InBuf: Zip.Byte_Buffer ); 
  12.   pragma Inline( Update ); 
  13.  
  14. end Zip.CRC;