anchor.diff:  -module(floppy).
   
  --export([append/3, read/2,
  +-export([append/3,
  +         read/2,
            clocksi_execute_tx/2,
            clocksi_execute_tx/1,
            clocksi_read/3,
  
positive.code:     {ok, _} = clocksi_tx_coord_sup:start_fsm([self(), ClientClock, Operations]),
      receive
          EndOfTx ->
              lager:info("FLOPPY: TX completed!~n"),
              EndOfTx
      after
          10000 ->
              lager:info("FLOPPY: Tx failed!~n"),
              {error, timeout}
      end.
  
  clocksi_execute_tx(Operations) ->
      lager:info("FLOPPY: Received transaction for operations ~w ~n", [Operations]),
      {ok, _} = clocksi_tx_coord_sup:start_fsm([self(), Operations]),
      receive
          EndOfTx ->
              lager:info("FLOPPY: TX completed!~n"),
              EndOfTx
      after
          10000 ->
              lager:info("FLOPPY: Tx failed!~n"),
              {error, timeout}
      end.
  
  
negative.code: %%      error message in case of a failure.
  %%
  clocksi_execute_tx(Clock, Operations) ->
      lager:info("Received transaction with clock: ~p for operations: ~p",
                 [Clock, Operations]),
      ClientClock = case Clock of
          {Mega, Sec, Micro} ->
              clocksi_vnode:now_milisec({Mega,Sec,Micro});
          _ ->
              Clock
  