anchor.diff:  -include("floppy.hrl").
   
   %% API
  --export([start_link/3, start_link/2]).
  +-export([start_link/3,
  +         start_link/2]).
   
   %% Callbacks
  --export([init/1, code_change/4, handle_event/3, handle_info/3,
  -         handle_sync_event/4, terminate/3]).
  +-export([init/1,
  +         code_change/4,
  +         handle_event/3,
  +         handle_info/3,
  +         handle_sync_event/4,
  +         terminate/3]).
   
   %% States
  --export ([prepare_op/2, execute_op/2, finish_op/3, prepare_2pc/2,
  -          receive_prepared/2, committing/2, receive_committed/2,
  -          abort/2, receive_aborted/2,
  +-export ([prepare_op/2,
  +          execute_op/2,
  +          finish_op/3,
  +          prepare_2pc/2,
  +          receive_prepared/2,
  +          committing/2,
  +          receive_committed/2,
  +          abort/2,
  +          receive_aborted/2,
             reply_to_client/2]).
   
   %%---------------------------------------------------------------------
  
positive.code:                                    commit_time=CommitTime}) ->
      TxId = Transaction#transaction.txn_id,
      _ = case TxState of
          committed->
              From ! {ok, {TxId, ReadSet, CommitTime}};
          aborted->
              From ! {abort, TxId};
          Reason->
              From ! {ok, TxId, Reason}
      end,
      {stop, normal, SD}.
  
  %% ====================================================================
  
  handle_info(_Info, _StateName, StateData) ->
      {stop,badmsg,StateData}.
  
  handle_event(_Event, _StateName, StateData) ->
      {stop,badmsg,StateData}.
  
  handle_sync_event(_Event, _From, _StateName, StateData) ->
      {stop,badmsg,StateData}.
  
  code_change(_OldVsn, StateName, State, _Extra) -> {ok, StateName, State}.
  
  terminate(_Reason, _SN, _SD) ->
      ok.
  
  %%%===================================================================
  
negative.code:         [Op|TailOps] ->
              lager:error("Received operation: ~p", [Op]),
              [Op|TailOps] = Operations,
              {Key, FormattedOp} = case Op of
                  {update, Key0, _Type, _} ->
                      {Key0, Op};
                  {read, Key0, Type} ->
                      {Key0, {read, Key0, Type, ignore}}
              end,
              lager:info("ClockSI-Coord: PID ~w ~n ", [self()]),
              lager:info("ClockSI-Coord: Op ~w ~n ", [Op]),
  