+
+;;; MNA: open-coded-simple-array patch
+(defun %array-simp (a) a)
+(defknown %array-simp (simple-array) simple-array (movable foldable flushable))
+
+(defknown %array-data-vector (simple-array) simple-array (movable foldable flushable))
+(defknown %array-simp (simple-array) simple-array (movable foldable flushable))