anchor.diff:      end.
   
   cleanup(#state{fc_list=FCList, cr_list=CRList}=_S) ->
  -    [catch machi_proxy_flu1_client:quit(FC) || FC <- FCList],
  -    [catch machi_cr_client:quit(CR) || CR <- CRList],
  +    [begin unlink(FC), catch exit(FC, kill) end || {_, FC} <- FCList],
  +    [begin unlink(CR), catch exit(CR, kill) end || {_, CR} <- CRList],
       _ = shutdown_hard().
   
   %% Internal utilities
  
positive.code: %% > eqc_gen:sample(eqc_statem:commands(machi_ap_repair_eqc)).
  %% but not so helpful.
  initial_state() ->
      #state{cr_list=[a,b,c]}.
  
  initial_state(Num, Seed, Verbose) ->
      AllListE = all_list_extra(Num),
      FLUNames = [P#p_srvr.name || {P, _Dir} <- AllListE],
      MgrNames = [{Name, machi_flu_psup:make_mgr_supname(Name)} || Name <- FLUNames],
      Dict = orddict:from_list([{P#p_srvr.name, P} || {P, _Dir} <- AllListE]),
  
      FCList = [begin
  
negative.code:                                {simulator_members, FLUNames}]),
                    {SimSelfName, C}
                end || SimSelfName <- SimSelfNames],
      catch ets:delete(cpool),
      ets:new(cpool, [set, protected, named_table, {read_concurrency, true}]),
      ets:insert(cpool, {fc_list, FCList}),
      ets:insert(cpool, {cr_list, CRList}),
      {CRList, FCList}.
  
  fc_list() ->
      [{fc_list, FCList}] = ets:lookup(cpool, fc_list),
      FCList.
  
  cr_list() ->
      [{cr_list, CRList}] = ets:lookup(cpool, cr_list),
      CRList.
  
  %% Post commands
  
  stabilize(0, S) ->
      {ok, S};
  stabilize(_CmdsLen, #state{flu_names=FLUNames, mgr_names=MgrNames,
                             verbose=Verbose}=S) ->
      machi_partition_simulator:no_partitions(),
      wait_until_stable(chain_state_all_ok(FLUNames), FLUNames, MgrNames,
                        100, Verbose),
      {ok, S}.
  
  chain_state_all_ok(FLUNames) ->
      [{FLUName, {FLUNames, [], []}} || FLUName <- FLUNames].
  
  confirm_result(#state{}=_S) ->
      [{_, C} | _] = cr_list(),
      [{written, _Written}, {accpt, Accpt},
       {failed, Failed}, {critical, Critical}] = tab_counts(),
      {OK, Dataloss} = confirm_written(C),
  