anchor.diff:  
   get_peers_query() ->
      {get_peers, [{<<"id">>, node_id()},
  -                {<<"info_hash">>, node_id()}]}.
  +                {<<"info_hash">>, info_hash()}]}.
   
   announce_query() ->
      {announce, [{<<"id">>, node_id()},
  -               {<<"info_hash">>, node_id()},
  +               {<<"info_hash">>, info_hash()},
                  {<<"token">>, token()},
                  {<<"port">>, portnum()}]}.
   
   dht_query() ->
      All = [ping_query(), find_node_query(), get_peers_query(), announce_query()],
  -    oneof([{dht_query, Method, transaction(), lists:sort(Params)}
  -	       || {Method, Params} <- All]).
  +    oneof([{Method, transaction(), lists:sort(Params)}
  +           || {Method, Params} <- All]).
   
   prop_inv_compact() ->
      ?FORALL(Input, list(dht_node()),
  
positive.code: -ifdef(TEST).
  -include_lib("eqc/include/eqc.hrl").
  -include_lib("eunit/include/eunit.hrl").
  -endif.
  
  -behaviour(gen_server).
  
negative.code:                     NewNext, NewQueried, NewAlive, NewWithPeers).
  
  
  %
  %
  %
  