anchor.diff:  
       Collector = comm:make_global(collector(Count, self())),
   
  -    [learner:start_paxosid(hd(Learners), Id, Majority, Collector, chocolate_chip_cookie)
  -     || Id <- lists:seq(1, Count)],
  -    [acceptor:start_paxosid(X, Id, Learners)
  -     || X <- Acceptors,  Id <- lists:seq(1, Count)],
  -    [proposer:start_paxosid(hd(Proposers), Id, Acceptors, prepared,
  -                            Majority, CountProposers, 0)
  -     || Id <- lists:seq(1, Count)],
  -    receive
  -        done ->
  -            ok
  -    end,
  -    ok.
  -
  +    _ = [ learner:start_paxosid(hd(Learners), Id, Majority, Collector, chocolate_chip_cookie)
  +            || Id <- lists:seq(1, Count)],
  +    _ = [ acceptor:start_paxosid(X, Id, Learners)
  +            || X <- Acceptors,  Id <- lists:seq(1, Count)],
  +    _ = [ proposer:start_paxosid(hd(Proposers), Id, Acceptors, prepared,
  +                                 Majority, CountProposers, 0)
  +            || Id <- lists:seq(1, Count)],
  +    receive done -> ok
  +    end.
  +
  +-spec tester_paxos(CountAcceptors::pos_integer(), Count::pos_integer(), Prefix::string()) -> ok.
   tester_paxos(CountAcceptors, Count, Prefix) ->
       CountProposers = 1,
       Majority = CountAcceptors div 2 + 1,
  
positive.code:     CountAcceptors = 4,
      Majority = CountAcceptors div 2 + 1,
      {Proposers, Acceptors, Learners} =
          make(CountProposers, CountAcceptors, 1, two_proposers),
  
      %% start paxosids in the components
      learner:start_paxosid(hd(Learners), paxid123, Majority, comm:this(), cpaxid123),
      [ acceptor:start_paxosid(X, paxid123, Learners) || X <- Acceptors ],
      [ Proposer1, Proposer2 ] = Proposers,
  
      %% set some breakpoints
      gen_component:bp_set(element(3, Proposer1), acceptor_ack, bp1),
      %% initiate full paxos
      proposer:start_paxosid(Proposer1, paxid123, Acceptors,
                             prepared, Majority, length(Proposers), 3),
  
negative.code: %%             collect(Count - 1)
      end.
  
  -spec tester_fast_paxos(CountAcceptors::pos_integer(), Count::pos_integer(), Prefix::string()) -> ok.
  tester_fast_paxos(CountAcceptors, Count, Prefix) ->
      %% Count = 10,
      CountProposers = 1,
  