anchor.diff:        of
           String -> to_stderr(String ++ "~n", [])
         catch
  -        _:_ -> to_stderr("No additional help available!~n", [])
  +        _:_ -> to_stderr("No additional help available.~n", [])
         end
     end.
   
   cl_version() ->
  -  io:format(standard_error, "Concuerror v~s~n",[?VSN]),
  -  ok.
  +  to_stderr("Concuerror v~s",[?VSN]).
  +
  +%%%-----------------------------------------------------------------------------
   
   -spec finalize(options()) -> options().
   
  
positive.code:       end
    end.
  
  getopt_spec() ->
    getopt_spec(options()).
  
  
negative.code:         [Key, Set, ReasonKey, ReasonValue])
    end.
  
  %%%-----------------------------------------------------------------------------
  
  -spec opt_error(string()) -> no_return().
  
  opt_error(Format) ->
  