anchor.diff:  %%
   %% -------------------------------------------------------------------
   -module(floppy).
  +
  +-include("floppy.hrl").
   
   -export([append/3,
            read/2,
  
positive.code:             {error, timeout}
      end.
  
  clocksi_bulk_update(ClientClock, Operations) ->
      clocksi_execute_tx(ClientClock, Operations).
  
  clocksi_bulk_update(Operations) ->
      clocksi_execute_tx(Operations).
  
  clocksi_read(ClientClock, Key, Type) ->
      clocksi_execute_tx(ClientClock, [{read, Key, Type}]).
  
  
negative.code:             EndOfTx
      end.
  
  -spec clocksi_execute_tx(Operations::[]) -> term().
  clocksi_execute_tx(Operations) ->
      lager:info("Received transaction for operations: ~p", [Operations]),
      {ok, _} = clocksi_tx_coord_sup:start_fsm([self(), Operations]),
  