anchor.diff:  
               {noreply, State}
       end;
  -handle_cast({write, From, Key, Value}=Request, #state{membership=[Primary|Rest]=Membership, outstanding=Outstanding0, store=Store0}=State) ->
  +handle_cast({write, From, Key, Value}, #state{membership=[Primary|Rest]=Membership, outstanding=Outstanding0, store=Store0}=State) ->
  +    %% TODO: HACK to get around problem in interprocedural analysis.
  +    Request = {write, From, Key, Value},
  +
       case node() of 
           Primary ->
               %% Add to list of outstanding requests.
  
positive.code:     end.
  
  %% @private
  handle_info({collaborate_ack, ReplyingNode, {write, From, _Key, Value} = Request}, #state{outstanding=Outstanding0}=State) ->
      case dict:find(Request, Outstanding0) of
          {ok, {Membership, Replies0}} ->
              %% Update list of nodes that have acknowledged.
  
negative.code:     gen_server:cast(?MODULE, {update, LocalState}).
  
  %% @doc Issue write operations.
  state() ->
      gen_server:call(?MODULE, state).
  
  %% @doc Issue write operations.
  write(Key, Value) ->
      %% TODO: Bit of a hack just to get this working.
      true = erlang:register(write_coordinator, self()),
  