anchor.diff:           (retv (make-array (array-dimensions m)
                              :element-type (array-element-type m))))
       (declare (type array-dimension-designator n-rows n-cols)
  -             (type (simple-array t (*)) vector-form))
  +             (type (simple-array * (*)) vector-form))
       (labels ((nth-element (mv row col)
                  (declare (type array-dimension-designator posn)
  -                        (type (simple-array t (*)) mv)
  +                        (type (simple-array * (*)) mv)
                           (values number))
                  (aref (aref mv row) col)))
   
  
positive.code: 
  (defun compute-array-vector (m)
    (declare (type array m)
             (values (simple-array t (*))))
    (let* ((len (apply #'* (the cons (array-dimensions m))))
           (retv (make-array len :element-type (array-element-type m))))
      (dotimes (n len retv)
  
negative.code: 
  (defun compute-array-vector* (m)
    (declare (type array m)
             (values (simple-array * (*))))
    (let ((dims (array-dimensions m)))
      (labels ((frob (m dims &optional upper-offsets)
                 (let ((this-dim (car dims))
  