anchor.diff:  %% Types
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   
  --define(Check_sum_fun(X), erlang:crc32(integer_to_list(X))). %hash function for checksum building
  -
   -type value()   :: integer().
   -type cell()    :: {Count       :: non_neg_integer(),
  -                    KeySum      :: integer(),
  +                    KeySum      :: binary(),
                       KeyHashSum  :: integer(),   %sum c(x) of all inserted keys x, for c = any hashfunction not in hfs
                       ValSum      :: value(),
                       ValHashSum  :: integer()}.  %sum c(y) of all inserted values y, for c = any hashfunction not in hfs
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec change_cell([cell()], pos_integer(), integer(), value(), cell_operation()) -> [cell()].
  change_cell(Column, CellNr, Key, Value, Operation) ->
      {HeadL, [Cell | TailL]} = lists:split(CellNr, Column),
      {Count, KeySum, KHSum, ValSum, VHSum} = Cell,
      lists:flatten([HeadL, 
                     {Count + operation_val(Operation), 
                      KeySum bxor Key, KHSum bxor ?Check_sum_fun(Key),
                      ValSum bxor Value, VHSum bxor ?Check_sum_fun(Value)}, 
                     TailL]).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
negative.code:                                 RCC = resize(CellCount, K),
                                  {RCC, erlang:round(RCC / K)}
                          end,
      SubTable = [{0, <<0>> ,0, 0, 0} || _ <- lists:seq(1, ColSize)],
      Table = [ {I, SubTable} || I <- lists:seq(1, K)],
      #iblt{
            hfs = Hfs, 
  