anchor.diff:  index_value() ->
       oneof([binary(), int()]).
   
  -%%-endif. % EQC
  +-endif. % EQC
  
positive.code:                                                       false
                                                end,
                                                Contents),
      NonCounters.
  
  num_counters(RObj) ->
      Values = riak_object:get_values(RObj),
  
negative.code: 
  -define(BUCKET, <<"b">>).
  -define(KEY, <<"k">>).
  -define(NUMTESTS, 500).
  -define(QC_OUT(P),
          eqc:on_output(fun(Str, Args) ->
                                io:format(user, Str, Args) end, P)).
  
  %%====================================================================
  %% eunit test
  %%====================================================================
  
  counter_value_test_() ->
      {timeout, 60000, % do not trust the docs - timeout is in msec
        ?_assertEqual(true, quickcheck(numtests(?NUMTESTS, ?QC_OUT(prop_value()))))}.
  
  counter_merge_test_() ->
      {timeout, 60000, % do not trust the docs - timeout is in msec
         ?_assertEqual(true, quickcheck(numtests(?NUMTESTS, ?QC_OUT(prop_merge()))))}.
  
  counter_update_test_() ->
      {timeout, 60000, % do not trust the docs - timeout is in msec
         ?_assertEqual(true, quickcheck(numtests(?NUMTESTS, ?QC_OUT(prop_update()))))}.
  
  %%====================================================================
  %% Shell helpers
  %%====================================================================
  
  