anchor.diff:                                   Majority, CountProposers, 0)
               || Id <- lists:seq(1, Count)],
       receive done -> ok
  -    end.
  +    end,
  +    [ gen_component:kill(comm:make_local(X))
  +      || X <- lists:flatten([Proposers, Acceptors, Learners])],
  +    ok.
   
   -spec tester_paxos(CountAcceptors::pos_integer(), Count::pos_integer(), Prefix::string()) -> ok.
   tester_paxos(CountAcceptors, Count, Prefix) ->
  
positive.code:             undefined -> ok;
              _ -> random:seed(OldSeed)
          end,
      true.
  
  step_until_decide(Processes, PaxId, SumSteps) ->
  
negative.code: 
      ?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
  