anchor.diff:  
       //
       [<CompiledName("Iterate")>]
  -    let iter (action : 'T -> unit) (vector : vector<'T>) : unit =
  -        // Preconditions
  -        checkInitialized "vector" vector
  -        
  -        notImpl "Vector.iter"
  +    let iter (action : 'T -> unit) (vec : vector<'T>) : unit =
  +        // Preconditions
  +        checkInitialized "vec" vec
  +
  +        // If the vector is empty return immediately.
  +        if not <| isEmpty vec then
  +            Array.iter action vec.Elements
   
       //
       [<CompiledName("Iterate2")>]
  
positive.code:         // Preconditions
          checkInitialized "source" source
          checkInitialized "target" target
          
          notImpl "Vector.blit"
  
      //
      [<CompiledName("Collect")>]
      let collect (mapping : 'T -> 'U[]) (vector : vector<'T>) : vector<'U> =
          // Preconditions
          checkInitialized "vector" vector
          
          notImpl "Vector.collect"
  
  
negative.code: 
      //
      [<CompiledName("Copy")>]
      let copy (vec : vector<'T>) : vector<'T> =
          // Preconditions
          checkInitialized "vec" vec
          
          notImpl "Vector.copy"
  
  