anchor.diff:              io:format(Output, "Interleaving #~p~n", [TracesExplored + 1]),
               separator(Output, $-),
               io:format(Output, "Errors found:~n", []),
  +            print_depth_tip(),
               WarnStr =
                 [concuerror_io_lib:error_s(W, PrintDepth) || W <-Warnings],
               io:format(Output, "~s", [WarnStr]),
  
positive.code:         {log, ?ltiming, none, Msg, [Diff, Tag]},
          State#logger_state{timestamp = Now});
      {race, EarlyEvent, Event} ->
        Msg =
          io_lib:format(
            "* ~s~n  ~s~n~n",
  
negative.code:               ",color=orange,penwidth=5";
              _ -> ""
            end,
          print_depth_tip(),
          Label = concuerror_io_lib:pretty_s({I,Event#event{location=[]}}, PrintDepth - 19),
          EnabledLabel =
            case BoundConsumed =:= 0 of
  