anchor.diff:  
       type StringBuilderPrintfEnv<'Result>(k, buf) = 
           inherit PrintfEnv<Text.StringBuilder, unit, 'Result>(buf)
  -        override __.Finalize() : 'Result = k ()
  +        override __.Finish() : 'Result = k ()
           override __.Write(s : string) = ignore(buf.Append(s))
           override __.WriteT(()) = ()
   
       type TextWriterPrintfEnv<'Result>(k, tw : IO.TextWriter) =
           inherit PrintfEnv<IO.TextWriter, unit, 'Result>(tw)
  -        override __.Finalize() : 'Result = k()
  +        override __.Finish() : 'Result = k()
           override __.Write(s : string) = tw.Write s
           override __.WriteT(()) = ()
       
  
positive.code:                     env.Write s1
                      env.WriteT(f env.State a)
                      env.Write s2
                      env.Finalize()
                  )
              )
          static member LittleAChained<'A, 'Tail>(s1 : string, next : PrintfFactory<'State, 'Residue, 'Result,'Tail>) = 
  
negative.code:         let buf : string[] = Array.zeroCreate n
          let mutable ptr = 0
  
          override __.Finish() : 'Result = k (String.Concat(buf))
          override __.Write(s : string) = 
              buf.[ptr] <- s
              ptr <- ptr + 1
  