anchor.diff:  /// Additional functional operators on arrays.
   [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
   module Array =
  +    #if PROTO_COMPILER
  +    // TODO : Re-implement this using inline IL; it should simply provide a way
  +    // to emit an 'ldlen' instruction given an array.
       /// Returns the length of the array as an unsigned integer.
  -    [<CompiledName("NatLength")>]
  -    let inline natLength (arr : 'T[]) =
  -        uint32 arr.Length
  +    [<CompiledName("RawLength")>]
  +    let inline rawLength (arr : 'T[]) : unativeint =
  +        unativeint arr.Length
  +    #endif
   
       /// Given an element, creates an array containing just that element.
       [<CompiledName("Singleton")>]
  
positive.code:         | None -> list
          | Some x -> x :: list
  
      /// Returns the length of the list as an unsigned integer.
      [<CompiledName("NatLength")>]
      let inline natLength (list : 'T list) =
          uint32 <| List.length list
  
      //
      [<CompiledName("TryHead")>]
      let inline tryHead (list : 'T list) =
  
negative.code: /// Additional functional operators on sets.
  [<RequireQualifiedAccess; CompilationRepresentation(CompilationRepresentationFlags.ModuleSuffix)>]
  module Set =
      //
      [<CompiledName("OfArrayView")>]
      let ofArrayView (view : ArrayView<'T>) : Set<'T> =
  