anchor.diff:          false ->
               continue(State)
       end;
  -active(VR=?VNODE_REQ{sender=Sender, request=Request},State=#state{handoff_q=[]}) ->
  +active(?VNODE_REQ{sender=Sender, request=Request},
  +       State=#state{handoff_node=HN}) when HN =:= none ->
  +    vnode_command(Sender, Request, State);
  +active(VR=?VNODE_REQ{sender=Sender, request=Request},State) ->
       vnode_handoff_command(Sender, Request, VR, State);
  -active(?VNODE_REQ{sender=Sender, request=Request},State) ->
  -    vnode_command(Sender, Request, State);
   active(handoff_complete, State=#state{mod=Mod, 
                                         modstate=ModState,
                                         index=Idx, 
  
positive.code:           index :: partition(),
            mod :: module(),
            modstate :: term(),
            handoff_q = not_in_handoff :: not_in_handoff | list(),
            handoff_token :: non_neg_integer(),
            handoff_node :: node()}).
  
  start_link(Mod, Index) ->
      gen_fsm:start_link(?MODULE, [Mod, Index], []).
  
negative.code:                 {ok, HandoffToken} ->
                      NewState = State#state{modstate=NewModState, 
                                             handoff_token=HandoffToken,
                                             handoff_node=TargetNode},
                      riak_core_handoff_sender:start_link(TargetNode, Mod, Idx, all),
                      continue(NewState)
              end
  