anchor.diff:  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);
  
positive.code: 
  %% Erlang entry point.
  -export([run/1]).
  
  %%------------------------------------------------------------------------------
  
  
negative.code: 
  -spec run(concuerror_options:options()) -> exit_status().
  
  run(Options) ->
    _ = application:load(concuerror),
    maybe_cover_compile(),
    ?MODULE:run_internal(Options).
  
  -spec run_internal(concuerror_options:options()) -> exit_status().
  
  run_internal(Options) ->
    Status =
      case concuerror_options:finalize(Options) of
        {ok, FinalOptions, LogMsgs} -> start(FinalOptions, LogMsgs);
        {exit, ExitStatus} -> ExitStatus
      end,
    maybe_cover_export(Options),
    Status.
  
  %%------------------------------------------------------------------------------
  