anchor.diff:  
       ?assert(Res3 =:= Res4),
       ct:pal("done.~n"),
  +    [ gen_component:kill(comm:make_local(X))
  +      || X <- lists:flatten([Proposers, Acceptors, Learners])],
       ok.
   
   %% userdevguide-begin paxos_SUITE:random_interleaving_test
  
positive.code:                                  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) ->
  
negative.code:                           || Id <- lists:seq(1, Count)]
                end),
      receive done -> ok
      end,
      [ gen_component:kill(comm:make_local(X))
        || X <- lists:flatten([Proposers, Acceptors, Learners])],
      ok.
  
  test_fast_acceptors_4(_Config) ->
      Count = 10000,
  