anchor.diff:           run_multiple/2,
            run_remote/0,
            run_remote/1]).
  +-endif. % TEST
   
   -ifdef(EQC).
   -export([prop_correct/0]).
  
positive.code: %%% Experiments
  %%%===================================================================
  
  run_local() ->
      run_local(10000).
  run_local(N) ->
  
negative.code:          destroy/1,
           read_meta/2,
           write_meta/3,
           compare/4,
           top_hash/1,
           get_bucket/3,
  