anchor.diff:              Array.zip vector1.Elements vector2.Elements
               |> vector.UnsafeCreate
   
  -    /// <summary>Combines three arrays into an vector of triples. The three arrays must have equal lengths,
  +    /// <summary>Combines three vectors into an vector of triples. The three vectors must have equal lengths,
       /// otherwise an <c>ArgumentException</c> is raised.</summary>
       /// <param name="vector1">The first input vector.</param>
       /// <param name="vector2">The second input vector.</param>
  
positive.code:         let mutable segmentLength = 0
          for i = 0 to len1 - 1 do
              //
              if segmentLength > 0 && predicate.Invoke (array1.[i], array2.[i]) then
                  // NOTE : The current element is the first element in the *new* segment!
                  let offset = i - segmentLength
  
                  ArrayView<_> (array1, offset, segmentLength)
                  |> segments1.Add
                  ArrayView<_> (array2, offset, segmentLength)
                  |> segments2.Add
  
                  segmentLength <- 1
              else
                  // The existing segment is empty, or the predicate returned false --
                  // so "append" the element to the existing array segment.
                  segmentLength <- segmentLength + 1
  
          // Finish the last/current segment, then return the list of segments as an array.
          let offset = len1 - segmentLength
  
          ArrayView<_> (array1, offset, segmentLength)
          |> segments1.Add
          ArrayView<_> (array2, offset, segmentLength)
          |> segments2.Add
  
          segments1.ToArray(), segments2.ToArray()
  
negative.code: 
          ExtCore.vector.Create vec.Elements
  
      /// <summary>Creates a vector whose elements are all initially the given value.</summary>
      /// <param name="count">The length of the vector to create.</param>
      /// <param name="value">The value for the elements.</param>
      /// <returns>The created vector.</returns>
      [<CompiledName("Create")>]
      let create count (value : 'T) : vector<'T> =
          // Preconditions
  