anchor.diff:    end.
   
   initialize(Options) ->
  -  [{Output, OutputName}, SymbolicNames, Processes] =
  -    get_properties([output, symbolic_names, processes], Options),
  +  Timestamp = format_utc_timestamp(),
  +  [{Output, OutputName}, SymbolicNames, Processes, Verbosity] =
  +    get_properties([output, symbolic_names, processes, verbosity], Options),
     concuerror_loader:register_logger(self()),
     ok = setup_symbolic_names(SymbolicNames, Processes),
     PrintableOptions =
  
positive.code:      output = Output,
       output_name = OutputName,
       print_depth = ?opt(print_depth, Options),
       verbosity = ?opt(verbosity, Options)
      }.
  
  get_properties(Props, PropList) ->
  
negative.code:   ok.
  
  %%------------------------------------------------------------------------------
  
  loop(State) ->
    receive
  