anchor.diff:  
               {noreply, State}
       end;
  -handle_info({collaborate, CoordinatorNode, {write, _From, Key, Value}=Request}, #state{membership=[Primary|_Rest], store=Store0}=State) ->
  +handle_info({collaborate, CoordinatorNode, {write, From, Key, Value}}, #state{membership=[Primary|_Rest], store=Store0}=State) ->
  +    %% TODO: HACK to get around problem in interprocedural analysis.
  +    Request = {write, From, Key, Value},
  +
       case node() of 
           Primary ->
               %% Do nothing.
  
positive.code:     gen_server:cast(?MODULE, {update, LocalState}).
  
  %% @doc Issue write operations.
  write(Key, Value) ->
      %% TODO: Bit of a hack just to get this working.
      true = erlang:register(write_coordinator, self()),
  
negative.code:             CoordinatorNode = node(),
  
              lists:foreach(fun(Node) ->
                  partisan_pluggable_peer_service_manager:forward_message(Node, undefined, ?MODULE, {collaborate, CoordinatorNode, Request}, [])
              end, Rest),
  
              %% Write to storage.
  