anchor.diff:          printfn "Writing results to file: %s" fileName
   
           let stream = new System.IO.StreamWriter(fileName, false)
  -        stream.WriteLine("DiffSharp")
  +        stream.WriteLine("DiffSharp Benchmarks")
           stream.WriteLine("Copyright (c) 2014, National University of Ireland Maynooth.")
           stream.WriteLine("Written by: Atilim Gunes Baydin, Barak A. Pearlmutter\r\n")
           stream.WriteLine(sprintf "Benchmarking module version: %s" benchmarkver)
  
positive.code:         | f::xss -> 
              parseArgsRec xss {optionsSoFar with fileName = f; changed = true}
          | _ ->
              eprintfn "Option /f needs to be followed by a file name."
              parseArgsRec xs optionsSoFar
      | "/r"::xs | "-r"::xs ->
          match xs with
          | r::xss ->
              let couldparse, reps = System.Int32.TryParse r
              if couldparse then
                  if reps < defaultOptions.repetitions then
                      eprintfn "Given value for /r was too small, using the default: %i." defaultOptions.repetitions
                      parseArgsRec xss {optionsSoFar with changed = true}
                  else
                      parseArgsRec xss {optionsSoFar with repetitions = reps; changed = true}
              else
                  eprintfn "Option /r was followed by an invalid input."
                  parseArgsRec xs optionsSoFar
          | _ ->
              eprintfn "Option /r needs to be followed by a number."
              parseArgsRec xs optionsSoFar
      | x::xs ->
          eprintfn "Option \"%s\" is unrecognized." x
  
negative.code:         printfn "dsbench [-r repetitions] [-f filename]\n"
          printfn "  -r repetitions  Specifies the number of repetitions."
          printfn "                  Higher values give more accurate results, through averaging."
          printfn "                  Default: %i" defaultOptions.repetitions
          printfn "                  Minimum:  %i" minRepetitions
          printfn "  -f filename     Specifies the name of the output file."
          printfn "                  If the file exists, it will be overwritten."
          printfn "                  Default: DiffSharpBenchmark + current time + .txt"
  