anchor.diff:  index_value() ->
       oneof([binary(), int()]).
   
  -%%-endif. % EQC
  +-endif. % EQC
  
positive.code: 
  -define(BUCKET, <<"b">>).
  -define(KEY, <<"k">>).
  -define(NUMTESTS, 1000).
  -define(QC_OUT(P),
          eqc:on_output(fun(Str, Args) ->
                                io:format(user, Str, Args) end, P)).
  
  %%====================================================================
  %% Shell helpers
  %%====================================================================
  
  
negative.code: %%
  %% kv_counter_eqc: Quickcheck test for riak_kv_counter
  %%
  %% Copyright (c) 2007-2013 Basho Technologies, Inc.  All Rights Reserved.
  %%
  %% This file is provided to you under the Apache License,
  %% Version 2.0 (the "License"); you may not use this file
  