AnyOverlap reports whether x and y share memory at any (not necessarily corresponding) index.

InexactOverlap reports whether x and y share memory at any non-corresponding index.

SliceForAppend takes a slice and a requested number of bytes.