anchor.diff:      let inline bprintfn (buf : System.Text.StringBuilder) fmt : 'T =
           kbprintf (fun _ -> buf.AppendLine () |> ignore) buf fmt
   
  -    // TODO
  -    // dprintf / dprintfn       // Print formatted string to DebugListeners
  -    // tprintf / tprintfn       // Print formatted string to TraceListeners
  -
  +    /// Print formatted string to Debug listeners.
  +    [<CompiledName("PrintFormatToDebugListeners")>]
  +    let inline dprintf fmt : 'T =
  +        ksprintf Debug.Write fmt
  +
  +    /// Print formatted string to Debug listeners, adding a newline.
  +    [<CompiledName("PrintFormatLineToDebugListeners")>]
  +    let inline dprintfn fmt : 'T =
  +        ksprintf Debug.WriteLine fmt
  +
  +    /// Print formatted string to Trace listeners.
  +    [<CompiledName("PrintFormatToTraceListeners")>]
  +    let inline tprintf fmt : 'T =
  +        ksprintf Trace.Write fmt
  +
  +    /// Print formatted string to Trace listeners, adding a newline.
  +    [<CompiledName("PrintFormatLineToTraceListeners")>]
  +    let inline tprintfn fmt : 'T =
  +        ksprintf Trace.WriteLine fmt
  +
  
positive.code: //
  [<CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module Printf =
      open Printf
  
      /// Print to a System.Text.StringBuilder, adding a newline.
  
negative.code:     open OptimizedClosures
  
      /// The empty string literal.
      [<CompiledName("Empty")>]
      let [<Literal>] empty = ""
  
      //
  