n bytes from dst_offset to src_offset, inside this arrayRequire: all arguments greater than 0 and ranges within length
	# Safely move `n` bytes from `dst_offset` to `src_offset`, inside this array
	#
	# Require: all arguments greater than 0 and ranges within `length`
	fun move(dst_offset, src_offset, n: Int)
	do
		assert dst_offset >= 0 and src_offset >= 0 and n >= 0
		assert dst_offset + n <= length
		assert src_offset + n <= length
		native_array.move(dst_offset, src_offset, n)
	end
					lib/c/c.nit:178,2--188,4