anchor.diff:    end.
   
   compile_and_load(Files, Modules) ->
  -  compile_and_load(Files, Modules, []).
  -
  -compile_and_load([], _Modules, Acc) ->
  -  lists:sort(Acc);
  -compile_and_load([File|Rest], Modules, Acc) ->
  +  compile_and_load(Files, Modules, {[],[]}).
  +
  +compile_and_load([], _Modules, {Acc, MoreOpts}) ->
  +  {lists:sort(Acc), MoreOpts};
  +compile_and_load([File|Rest], Modules, {Acc, MoreOpts}) ->
     case filename:extension(File) of
       ".erl" ->
         case compile:file(File, [binary, debug_info, report_errors]) of
  
positive.code:     file ->
        Modules = proplists:get_value(modules, Rest),
        Files = [Value|proplists:get_all_values(file, Rest)],
        LoadedFiles = compile_and_load(Files, Modules),
        NewRest = proplists:delete(file, Rest),
        finalize(NewRest, [{files, LoadedFiles}|Acc]);
      Else ->
        PathAdd =
          case Else of
  
negative.code:       case beam_lib:chunks(File, []) of
          {ok, {Module, []}} ->
            ok = concuerror_loader:load_binary(Module, File, File, Modules),
            NewMoreOpts = try Module:concuerror_options() catch _:_ -> [] end,
            compile_and_load(Rest, Modules, {[File|Acc], NewMoreOpts++MoreOpts});
          Else ->
            opt_error(beam_lib:format_error(Else))
        end;
  