anchor.diff:    (make-vau static-env env-var vau-list body))
   
   (defprimop "nvau" (static-env name env-var vau-list &rest body)
  -  (let ((value (make-vau static-env env-var vau-list body)))
  +  (let ((value (make-vau static-env env-var vau-list body (clutter-symbol-name name))))
       (setf (clutter-operative-name value) name)
       value))
   
  
positive.code:          :args ',vau-list
           :pure ,purity))))
  
  (defun make-vau (static-env env-var vau-list body)
    ;; TODO: Determine purity
    (make-clutter-operative
     :function
  
negative.code:        (declare (ignore optional))
         (unless (or (= (length values) (length required))
                     (and rest (>= (length values) (length required))))
           (error "Wrong number of arguments to ~A (expected at least ~A)" name (length required)))
         (let ((env (make-env static-env)))
           (loop for var in (list* env-var rest required)
                 for value in (list* *denv*
  