anchor.diff:  -spec is_element(bloom_filter(), key()) -> boolean().
   is_element(#bloom{filter = <<>>}, _Item) ->
       false;
  -is_element(#bloom{hfs = Hfs, filter = Filter}, Item) ->
  -    BFSize = erlang:bit_size(Filter),
  +is_element(#bloom{size = BFSize, hfs = Hfs, filter = Filter}, Item) ->
       Positions = ?REP_HFS:apply_val_rem(Hfs, Item, BFSize),
       check_Bits(Filter, Positions).
   
  
positive.code: 
  %% @doc Return bloom filter debug information.
  -spec print(bloom_filter()) -> [{atom(), any()}].
  print(#bloom{filter = Filter, hfs = Hfs, items_count = NumItems} = Bloom) ->
      Size = erlang:bit_size(Filter),
      HCount = ?REP_HFS:size(Hfs),
      [{filter_bit_size, Size},
       {struct_byte_size, byte_size(term_to_binary(Bloom))},
  
negative.code: %% Types
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -record(bloom, {
                  size          = ?required(bloom, size):: pos_integer(),    %bit-length of the bloom filter - requirement: size rem 8 = 0
                  filter        = <<>>                  :: binary(),         %length = size div 8
                  hfs           = ?required(bloom, hfs) :: ?REP_HFS:hfs(),   %HashFunctionSet
                  items_count   = 0                     :: non_neg_integer() %number of inserted items
                 }).
  