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