anchor.diff:  
   %% Erlang entry point.
   -export([run/1]).
  +
  +%% Internal functions for reloading
  +-export([main_internal/1, run_internal/1]).
   
   %%------------------------------------------------------------------------------
   
  
positive.code: 
  -spec run(concuerror_options:options()) -> exit_status().
  
  run(RawOptions) ->
    _ = application:load(concuerror),
    maybe_cover_compile(),
    Status =
      case concuerror_options:finalize(RawOptions) of
        {ok, Options, LogMsgs} -> start(Options, LogMsgs);
        {exit, ExitStatus} -> ExitStatus
      end,
    maybe_cover_export(RawOptions),
    Status.
  
  %%------------------------------------------------------------------------------
  
negative.code: main(Args) ->
    _ = application:load(concuerror),
    maybe_cover_compile(),
    ?MODULE:main_internal(Args).
  
  -spec main_internal([string()]) -> no_return().
  
  main_internal(Args) ->
    Status =
      case concuerror_options:parse_cl(Args) of
        {ok, Options} -> run(Options);
  