anchor.diff:  	 do_update_op/3,
   	 get_info/1,
   	 get_transactions/0,
  +         get_transactions_count/0,
   	 info/1,
   	 mnesia_down/1,
   	 prepare_checkpoint/2,
  
positive.code: 	{From, info} ->
  	    reply(From, {info, gb_trees:values(Participants),
  			 gb_trees:to_list(Coordinators)}, State);
  
  	{mnesia_down, N} ->
  	    verbose("Got mnesia_down from ~p, reconfiguring...~n", [N]),
  
negative.code: 	false  -> coordinator
      end.
  
  get_transactions_count() ->
      case req(transactions_count) of
          {transactions_count, ParticipantsCount, CoordinatorsCount} ->
              {ParticipantsCount, CoordinatorsCount};
          Error ->
              Error
      end.
  
  get_info(Timeout) ->
      case whereis(?MODULE) of
  	undefined ->
  