anchor.diff:    ExpTypes = sets:from_list([E || {E} <- dialyzer_utils:ets_tab2list(ETSExpTypes)], [{version, 2}]),
     Record = #ifile_plt{version = Vsn,
                         module_md5_list = MD5,
  -                      info = term_to_binary(Info, [compressed]),
  -                      contracts = term_to_binary(Contracts, [compressed]),
  -                      callbacks = term_to_binary(Callbacks, [compressed]),
  -                      types = term_to_binary(Types, [compressed]),
  -                      exported_types = term_to_binary(ExpTypes, [compressed]),
  -                      incremental_data = IncrementalData,
  +                      info = term_to_binary(Info, [{compressed,9}]),
  +                      contracts = term_to_binary(Contracts, [{compressed,9}]),
  +                      callbacks = term_to_binary(Callbacks, [{compressed,9}]),
  +                      types = term_to_binary(Types, [{compressed,9}]),
  +                      exported_types = term_to_binary(ExpTypes, [{compressed,9}]),
  +                      incremental_data = term_to_binary(IncrementalData, [{compressed,9}]),
                         implementation_md5 = ImplMd5},
     Bin = term_to_binary(Record),
     case file:write_file(FileName, Bin) of
  
positive.code:       case compute_new_md5(Md5, RemoveFiles, AddFiles, ModuleToPathLookup) of
          ok -> ok;
          {differ, NewMd5, DiffMd5} ->
            IncrementalData = Rec#ifile_plt.incremental_data,
            {differ,
             NewMd5,
             DiffMd5,
  
negative.code:          callbacks = term_to_binary(#{})      :: binary(), %% encoded map()
           types = term_to_binary(#{})          :: binary(), %% encoded map()
           exported_types = term_to_binary(#{}) :: binary(), %% encoded sets:set()
           incremental_data = term_to_binary(#incremental_data{}) :: #incremental_data{} | binary(), %% encoded #incremental_data{}
           implementation_md5 = []              :: [module_md5()]}).
  
  %%----------------------------------------------------------------------
  