anchor.diff:      Val;
   resize(Val, Div) when Val rem Div /= 0 -> 
       resize(Val + 1, Div).
  +
  +-spec encode_key(?RT:key()) -> integer().
  +encode_key(Key) ->
  +    binary:decode_unsigned(term_to_binary(Key)).
  +
  +-spec decode_key(integer()) -> ?RT:key().
  +decode_key(IntKey) ->
  +    binary_to_term(binary:encode_unsigned(IntKey)).
  
positive.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec get(iblt(), key()) -> value() | not_found.
  get(#iblt{ table = T, hfs = Hfs, col_size = ColSize }, Key) ->
      p_get(T, Hfs, ColSize, Key).
  
  -spec p_get(table(), ?REP_HFS:hfs(), non_neg_integer(), key()) -> value() | not_found.
  p_get([], _, _, _) -> not_found;
  p_get([{ColNr, Col} | T], Hfs, ColSize, Key) ->
      Cell = lists:nth((?REP_HFS:apply_val(Hfs, ColNr, Key) rem ColSize) + 1, Col),
  
negative.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec is_element(iblt(), ?RT:key()) -> boolean().
  is_element(#iblt{ hfs = Hfs, table = T, col_size = ColSize }, Key) ->
      Found = lists:foldl(
                fun({ColNr, Col}, Count) ->
  