docs: @Trivial
      public static String getTracerText(Tracer tracer) {
          if (tracer == null) {
              return "null";
          } else {
              return tracer.getClass().getSimpleName() + "@" + Integer.toHexString(tracer.hashCode());
          }
      }