// so we need only compare the first word (interface type or slice ptr).
(EqInter x y)  => (EqPtr  (ITab x) (ITab y))
(NeqInter x y) => (NeqPtr (ITab x) (ITab y))
(EqSlice x y)  => (EqPtr  (SlicePtr x) (SlicePtr y))
(NeqSlice x y) => (NeqPtr (SlicePtr x) (SlicePtr y))

// Load of store of same address, with compatibly typed value and same size
(Load <t1> p1 (Store {t2} p2 x _))
	&& isSamePtr(p1, p2)
	&& t1.Compare(x.Type) == types.CMPeq

const newSlice=result.copySlice(oldSlice);newSlice.start=when;newSlice.duration=oldEnd-when;if(newSlice.title.indexOf(' (cont.)')===-1){newSlice.title+=' (cont.)';}

pkg sort, method (Float64Slice) Sort()
pkg sort, method (Float64Slice) Swap(int, int)
pkg sort, method (IntSlice) Len() int
pkg sort, method (IntSlice) Less(int, int) bool
pkg sort, method (IntSlice) Search(int) int
pkg sort, method (IntSlice) Sort()
pkg sort, method (IntSlice) Swap(int, int)
pkg sort, method (StringSlice) Len() int
pkg sort, method (StringSlice) Less(int, int) bool

            "type": "boolean"
          },
          "int": {
            "description": "IntValue is a 64-bit integer.",
            "format": "int64",
            "type": "integer"
          },
          "intSlice": {
            "allOf": [
              {
                "$ref": "#/components/schemas/io.k8s.api.resource.v1alpha2.NamedResourcesIntSlice"
              }
            ],

		}
		break
	}
	return false
}
func rewriteValuegeneric_OpNeqSlice(v *Value) bool {
	v_1 := v.Args[1]
	v_0 := v.Args[0]
	b := v.Block
	typ := &b.Func.Config.Types
	// match: (NeqSlice x y)
	// result: (NeqPtr (SlicePtr x) (SlicePtr y))
	for {
		x := v_0
		y := v_1
		v.reset(OpNeqPtr)
		v0 := b.NewValue0(v.Pos, OpSlicePtr, typ.BytePtr)
		v0.AddArg(x)

					"int": {
						SchemaProps: spec.SchemaProps{
							Description: "IntValue is a 64-bit integer.",
							Type:        []string{"integer"},
							Format:      "int64",
						},
					},
					"intSlice": {
						SchemaProps: spec.SchemaProps{
							Description: "IntSliceValue is an array of 64-bit integers.",
							Ref:         ref("k8s.io/api/resource/v1alpha2.NamedResourcesIntSlice"),
						},
					},

		name:        "NeqPtr",
		argLen:      2,
		commutative: true,
		generic:     true,
	},
	{
		name:    "NeqInter",
		argLen:  2,
		generic: true,
	},
	{
		name:    "NeqSlice",
		argLen:  2,
		generic: true,
	},
	{
		name:        "Neq32F",
		argLen:      2,
		commutative: true,
		generic:     true,
	},
	{
		name:        "Neq64F",

          "type": "boolean"
        },
        "int": {
          "description": "IntValue is a 64-bit integer.",
          "format": "int64",
          "type": "integer"
        },
        "intSlice": {
          "$ref": "#/definitions/io.k8s.api.resource.v1alpha2.NamedResourcesIntSlice",
          "description": "IntSliceValue is an array of 64-bit integers."
        },
        "name": {