anchor.diff:              parseArgsRec xss {optionsSoFar with benchmarks= optionsSoFar.benchmarks @ [f]}
           | _ ->
               eprintfn "Option -b needs to be followed by a benchmark name (1, 2)."
  -            parseArgsRec xs optionsSoFar
  +            exit 1
       | ("/m" | "-m") ::xs -> 
           match xs with
           | (("auto" | "numeric") as f)::xss -> 
               parseArgsRec xss {optionsSoFar with modes = optionsSoFar.modes @ [f]}
           | _ ->
               eprintfn "Option -b needs to be followed by a mode name (auto,numeric)."
  -            parseArgsRec xs optionsSoFar
  +            exit 1
       | "/f"::xs | "-f"::xs ->
           match xs with
           | f::xss -> 
               parseArgsRec xss {optionsSoFar with fileName = f; changed = true}
           | _ ->
               eprintfn "Option -f needs to be followed by a file name."
  -            parseArgsRec xs optionsSoFar
  +            exit 1
       | "/r"::xs | "-r"::xs ->
           match xs with
           | r::xss ->
  
positive.code:             if couldparse then
                  if size < minVectorSize then
                      eprintfn "Given value for -vsize was too small, using the minimum: %i." minVectorSize
                      parseArgsRec xss {optionsSoFar with vectorSize = minVectorSize; changed = true}
                  else
                      parseArgsRec xss {optionsSoFar with vectorSize = size; changed = true}
              else
                  eprintfn "Option -vsize was followed by an invalid value."
                  parseArgsRec xs optionsSoFar
          | _ ->
              eprintfn "Option -vsize needs to be followed by a number."
              parseArgsRec xs optionsSoFar
      | x::xs ->
          eprintfn "Option \"%s\" is unrecognized." x
          parseArgsRec xs optionsSoFar
  
negative.code:             if couldparse then
                  if reps < minRepetitions then
                      eprintfn "Given value for -r was too small, using the minimum: %i." minRepetitions
                      exit 1
                  else
                      parseArgsRec xss {optionsSoFar with repetitions = reps; changed = true}
              else
                  eprintfn "Option -r was followed by an invalid value."
                  exit 1
          | _ ->
              eprintfn "Option -r needs to be followed by a number."
              exit 1
      | "/vsize"::xs | "-vsize"::xs ->
          match xs with
          | s::xss ->
  