anchor.diff:      {ok, _} = clocksi_interactive_tx_coord_sup:start_fsm([self(), ClientClock]),
       receive
           TxId ->
  -            lager:info("FLOPPY: TX started with TxId= ~w~n", [TxId]),
  +            lager:info("TX started with TxId: ~p", [TxId]),
               TxId
       after
           10000 ->
  -            lager:info("FLOPPY: Tx was not started!~n"),
  +            lager:info("Tx was not started!"),
               {error, timeout}
       end.
   
   clocksi_istart_tx() ->
  -    lager:info("FLOPPY: Starting FSM for interactive transaction.~n"),
  +    lager:info("Starting FSM for interactive transaction."),
       {ok, _} = clocksi_interactive_tx_coord_sup:start_fsm([self()]),
       receive
           TxId ->
  -            lager:info("FLOPPY: TX started with TxId= ~w~n", [TxId]),
  +            lager:info("TX started with TxId= ~p", [TxId]),
               TxId
       after 10000 ->
  -            lager:info("FLOPPY: Tx was not started!~n"),
  +            lager:info("Tx was not started!"),
               {error, timeout}
       end.
   
  
positive.code: -module(floppy).
  
  -export([append/3, read/2,
           clocksi_execute_tx/2,
           clocksi_execute_tx/1,
           clocksi_read/3,
  
negative.code: %%      Returns: an ok message along with the new TxId.
  %%
  clocksi_istart_tx(Clock) ->
      lager:info("Starting FSM for interactive transaction."),
      ClientClock = case Clock of
          {Mega, Sec, Micro} ->
              clocksi_vnode:now_milisec({Mega, Sec, Micro});
  