anchor.diff:  
           %% Work out how the vnodes should respond and in which order
           %% the messages should be delivered.
  -        Options = fsm_eqc_util:make_options([{w, W}, {dw, DW}, {timeout, 200} | Options0], []),
  +        Options = fsm_eqc_util:make_options([{pw, PW}, {w, W}, {dw, DW},
  +                                             {timeout, 200} | Options0], []),
           VPutReplies = make_vput_replies(VPutResp, Objects, Options),
           PL2 = make_preflist2(VPutResp, 1, []),
   
  
positive.code:         %% and returned to the client.
          EffDW = get_effective_dw(RealDW, Options, Postcommit),
          ExpectObject = expect_object(H, RealW, EffDW, AllowMult),
          {Expected, ExpectedPostCommits} = expect(H, N, W, RealW, DW, EffDW, Options,
                                                   Precommit, Postcommit, ExpectObject, PL2),
          ?WHENFAIL(
             begin
                 io:format(user, "BucketProps: ~p\n", [BucketProps]),
                 io:format(user, "VPutReplies = ~p\n", [VPutReplies]),
                 io:format(user, "N: ~p W:~p RealW: ~p DW: ~p RealDW: ~p EffDW: ~p Pid: ~p\n",
                           [N, W, RealW, DW, RealDW, EffDW, PutPid]),
                 io:format(user, "Options: ~p\n", [Options]),
                 io:format(user, "Precommit: ~p\n", [Precommit]),
                 io:format(user, "Postcommit: ~p\n", [Postcommit]),
  
negative.code: -define(REQ_ID, 1234).
  -define(DEFAULT_BUCKET_PROPS,
          [{chash_keyfun, {riak_core_util, chash_std_keyfun}},
           {pw, 0},
           {w, quorum},
           {dw, quorum}]).
  -define(HOOK_SAYS_NO, <<"the hook says no">>).
  