anchor.diff:      CNode = <<ID:160, A0, A1, A2, A3, Port:16>>,
       node_infos_to_compact(T, <<Acc/binary, CNode/binary>>).
   
  --ifdef(TEST).
  --include_lib("eunit/include/eunit.hrl").
  +-ifdef(EUNIT).
   
   fetch_id({dict, Params}) ->
       proplists:get_value({string, "id"}, Params).
  
positive.code: 
  dht_query() ->
     All = [ping_query(), find_node_query(), get_peers_query(), announce_query()],
     oneof([{dht_query, Method, transaction(), lists:sort(Params)}
           || {Method, Params} <- All]).
  
  prop_inv_compact() ->
     ?FORALL(Input, list(dht_node()),
  
negative.code:        end).
  
  
  encoder({dht_query, Method, MsgId, Params}) ->
      encode_query(Method, MsgId, Params).
  
  prop_query_inv() ->
     ?FORALL(InQ, dht_query(),
         begin
             OutQ = decode_msg(encoder(InQ)),
             OutQ =:= InQ
         end).
  
  -endif. %% EQC
  -endif.
  