anchor.diff:          Res = fsm_eqc_util:wait_for_req_id(?REQ_ID),
           H = get_fsm_qc_vnode_master:get_reply_history(),
   
  -        Expected = expect(H, N, W, DW, AllowMult, Options),
  +        Expected = expect(H, N, W, DW, AllowMult, Options, Precommit),
           ?WHENFAIL(
              begin
                  io:format(user, "NodeStatus: ~p\n", [NodeStatus]),
  
positive.code: options() ->
      maybe_return_body().
  
  prop_basic_put() ->
      %% ?FORALL({WSeed,DWSeed},
      ?FORALL({WSeed,DWSeed,NQdiff,
               Objects,ObjectIdxSeed,
               _PartVals,VPutResp,NodeStatus0,Options}, 
              {fsm_eqc_util:largenat(),fsm_eqc_util:largenat(),choose(0,4096),
               fsm_eqc_util:riak_objects(), fsm_eqc_util:largenat(),
               fsm_eqc_util:partvals(),vnodeputresps(),
               fsm_eqc_util:some_up_node_status(10),options()},
      begin
          N = length(VPutResp),
          W = (WSeed rem N) + 1, %% W from 1..N
  
negative.code:        ?_assertMatch({ok,_C}, riak:local_client()),
         %% Run the quickcheck tests
         {timeout, 60000, % do not trust the docs - timeout is in msec
          ?_assertEqual(true, quickcheck(numtests(250, ?QC_OUT(prop_basic_put()))))}
        ]
      }.
        %]}.
  
  