anchor.diff:        end;
       false -> already_done
     end.
  +
  +%%------------------------------------------------------------------------------
   
   -spec load_initially(module()) ->
                           {ok, module(), [string()]} | {error, string()}.
  
positive.code:   ok.
  
  %%------------------------------------------------------------------------------
  get_instrumented_table() ->
    concuerror_instrumented.
  
  %%------------------------------------------------------------------------------
  
  -spec initialize([atom()]) -> 'ok' | {'error', string()}.
  
  initialize(Excluded) ->
    Instrumented = get_instrumented_table(),
    case ets:info(Instrumented, name) =:= undefined of
      true ->
        setup_sticky_directories(),
        Instrumented = ets:new(Instrumented, [named_table, public]),
        ok;
      false ->
        ets:match_delete(Instrumented, {'_', concuerror_excluded}),
        ok
    end,
    Entries = [{X, concuerror_excluded} || X <- Excluded],
    try
      true = ets:insert_new(Instrumented, Entries),
      ok
    catch
      _:_ ->
        {error, "Excluded modules have already been instrumented. Restart the shell."}
    end.
  
  setup_sticky_directories() ->
    {module, concuerror_inspect} = code:ensure_loaded(concuerror_inspect),
    _ = [true = code:unstick_mod(M) || {M, preloaded} <- code:all_loaded()],
    [] = [D || D <- code:get_path(), ok =/= code:unstick_dir(D)],
    case code:get_object_code(erlang) =:= error of
      true ->
        true =
          code:add_pathz(filename:join(code:root_dir(), "erts/preloaded/ebin"));
      false ->
        ok
    end.
  
  check_shadow(File, Module) ->
    Default = code:which(Module),
  
negative.code: %%------------------------------------------------------------------------------
  
  -include("concuerror.hrl").
  
  %%------------------------------------------------------------------------------
  
  -spec initialize([atom()]) -> 'ok' | {'error', string()}.
  
  initialize(Excluded) ->
    Instrumented = get_instrumented_table(),
    case ets:info(Instrumented, name) =:= undefined of
      true ->
        setup_sticky_directories(),
        Instrumented = ets:new(Instrumented, [named_table, public]),
        ok;
      false ->
        ets:match_delete(Instrumented, {'_', concuerror_excluded}),
        ok
    end,
    Entries = [{X, concuerror_excluded} || X <- Excluded],
    try
      true = ets:insert_new(Instrumented, Entries),
      ok
    catch
      _:_ ->
        {error, "Excluded modules have already been instrumented. Restart the shell."}
    end.
  
  setup_sticky_directories() ->
    {module, concuerror_inspect} = code:ensure_loaded(concuerror_inspect),
    _ = [true = code:unstick_mod(M) || {M, preloaded} <- code:all_loaded()],
    [] = [D || D <- code:get_path(), ok =/= code:unstick_dir(D)],
    case code:get_object_code(erlang) =:= error of
      true ->
        true =
          code:add_pathz(filename:join(code:root_dir(), "erts/preloaded/ebin"));
      false ->
        ok
    end.
  
  %%------------------------------------------------------------------------------
  
  