package Checksum.CRC is

   type CRC_Array is array (Unsigned_8 range 0 .. 255) of Unsigned_32;

   Table : CRC_Array;

   procedure Compute_CRC_Table (T : out CRC_Array);

   procedure Update_CRC (CRC : in out Unsigned_32;
                        T : CRC_Array;
                        D : Byte_Array);

   function Compute_CRC (T : CRC_Array;
                         D : Byte_Array) return Unsigned_32;

end Checksum.CRC;
