anchor.diff:                      orig.Handle,
                       unbox (int orig.Format),
                       levels.Min, 1 + levels.Max - levels.Min,
  -                    slices.Min, 1
  +                    slices.Min, match sliceCount with | Some x -> x; | _ -> 1
                   )
                   GL.Check "could not create texture view"
   
  
positive.code:             )
  
          member x.CreateTextureView(orig : Texture, levels : Range1i, slices : Range1i) =
              x.CreateTextureView(orig, levels, slices, true)
  
          member x.Delete(t : Texture) =
              using x.ResourceLock (fun _ ->
  
negative.code:     let inline blit(ctx : Context, src : Texture, srcLevel : int, srcSlice : int, srcRegion : Box2i, dst : Texture, dstLevel : int, dstSlice : int, dstRegion : Box2i, linear : bool) =
          ctx.Blit(src, srcLevel, srcSlice, srcRegion, dst, dstLevel, dstSlice, dstRegion, linear)
  
      let inline createTextureView(ctx : Context, texture : Texture, levels : Range1i, slices : Range1i, isArray : bool) =
          ctx.CreateTextureView(texture, levels, slices, isArray)
  
      let inline deleteTexture(ctx : Context, texture : Texture) =
          ctx.Delete(texture)
  
  [<Extension; AbstractClass; Sealed>]
  type TextureExtensionsCSharp =
      [<Extension>]
  