anchor.diff:          ],
       MissingFileSummary.
   
  -append_file_dict(Proxy, FLU_name, D) ->
  +get_file_lists(Proxy, FLU_name, D) ->
       {ok, Res} = machi_proxy_flu1_client:list_files(Proxy, ?DUMMY_PV1_EPOCH,
                                                      ?SHORT_TIMEOUT),
       lists:foldl(fun({Size, File}, Dict) ->
  
positive.code:             T_a =< T_b
      end.
  
  make_repair_directives(ConsistencyMode, RepairMode,
                         File, Size, Verb, Src, FLUs0, ProxiesDict, ETS) ->
      true = (Size < ?MAX_OFFSET),
      FLUs = lists:usort(FLUs0),
      SrcProxy = orddict:fetch(Src, ProxiesDict),
      {ok, EpochID} = machi_proxy_flu1_client:get_epoch_id(SrcProxy,
                                                           ?SHORT_TIMEOUT),
      C0 = [begin
                %% erlang:garbage_collect(),
                Proxy = orddict:fetch(FLU, ProxiesDict),
  
negative.code: 
                D = dict:new(),
                D2 = lists:foldl(fun({FLU, Proxy}, Dict) ->
                                         get_file_lists(Proxy, FLU, Dict)
                                 end, D, ProxiesDict),
                MissingFileSummary = make_missing_file_summary(D2, OurFLUs),
                ?VERB("MissingFileSummary ~p\n", [MissingFileSummary]),
  
                [ets:insert(ETS, {{directive_bytes, FLU}, 0}) || FLU <- OurFLUs],
                %% Repair files from perspective of Src, i.e. tail(UPI).
                RepairMode = proplists:get_value(repair_mode, Opts, repair),
                Verb = proplists:get_value(verbose, Opts, true),
                SrcProxy = orddict:fetch(Src, ProxiesDict),
                {ok, EpochID} = machi_proxy_flu1_client:get_epoch_id(
                                  SrcProxy, ?SHORT_TIMEOUT),
                Ds =
                    [{File, make_repair_directives(
                              ConsistencyMode, RepairMode, File, Size, EpochID,
                              Verb,
                              Src, OurFLUs, ProxiesDict, ETS)} ||
                        {File, {Size, _MissingList}} <- MissingFileSummary],
                %% TODO: for CP mode, any file missing from the Src FLU
                %% must be deleted on all repairing FLUs
                [begin
                     [{_, Bytes}] = ets:lookup(ETS, {directive_bytes, FLU}),
                     io:format(user, "Directive bytes for ~p: ~p\n", [FLU, Bytes])
                 end || FLU <- OurFLUs],
  
                ok = execute_repair_directives(ConsistencyMode, Ds, Src, EpochID,
                                               Verb, OurFLUs, ProxiesDict, ETS),
  
                todo_yo_not_quite_ok
            catch
                What:Why ->
  