anchor.diff:  
   %%-----------------------------------------------------------------------
   
  +-spec help_warnings() -> no_return().
  +
   help_warnings() ->
     S = warning_options_msg(),
     io:put_chars(S),
     erlang:halt(?RET_NOTHING_SUSPICIOUS).
  +
  +-spec help_message() -> no_return().
   
   help_message() ->
     S = "Usage: dialyzer [--help] [--version] [--shell] [--quiet] [--verbose]
  
positive.code:   NewTail = command_line(T),
    cl(NewTail);
  cl(["--output"]) ->
    error("No outfile specified");
  cl(["-o"]) ->
    error("No outfile specified");
  cl(["--output",Output|T]) ->
    put(dialyzer_output, Output),
    cl(T);
  cl(["--output_plt"]) ->
    error("No outfile specified for --output_plt");
  cl(["--output_plt",Output|T]) ->
    put(dialyzer_output_plt, Output),
    cl(T);
  
negative.code:   put(dialyzer_options_get_warnings, true),
    cl(T);
  cl(["-D"|_]) ->
    cl_error("No defines specified after -D");
  cl(["-D"++Define|T]) ->
    Def = re:split(Define, "=", [{return, list}]),
    append_defines(Def),
  