anchor.diff:    (flatten
      (beta-pic form)))
   
  -(defun inlined-pic (form)
  -  (inlined (empty-inlined-environment)
  +(defun inlined-pic (form fundefs)
  +  (inlined fundefs
       (flatten-pic form)))
   
  -(defun elim-pic (form)
  +(defun elim-pic (form fundefs)
     (elim
  -   (inlined-pic form)))
  -
  -(defun closure-pic (form)
  +   (inlined-pic form fundefs)))
  +
  +(defun closure-pic (form fundefs)
     (closure
  -   (elim-pic form)))
  -
  -(defun virtual-pic (form)
  +   (repeatedly *limit*
  +     #'(lambda (form)
  +         (elim
  +          (inlined fundefs
  +           (flatten
  +            (beta (empty-beta-environment) form)))))
  +     (alpha2-pic form))))
  +
  +(defun virtual-pic (form fundefs)
     (virtual
  -   (closure-pic form)))
  -
  -(defun immediates-pic (form)
  +   (closure-pic form fundefs)))
  +
  +(defun immediates-pic (form fundefs)
     (immediates (empty-immediates-environment)
  -    (virtual-pic form)))
  -
  -(defun assign-pic (form)
  +    (virtual-pic form fundefs)))
  +
  +(defun assign-pic (form fundefs)
     (assign (empty-register-environment) nil
  -   (immediates-pic form)))
  -
  -(defun emit-pic (form)
  +   (immediates-pic form fundefs)))
  +
  +(defun emit-pic (form fundefs)
     (emit :tail
  -   (assign-pic form)))
  -
  -(defun output-pic (form)
  +   (assign-pic form fundefs)))
  +
  +(defun output-pic (form fundefs)
     (output
  -   (emit-pic form)))
  +   (emit-pic form fundefs)))
   
   
   ;;;
  
positive.code: ;;; Compilation
  ;;;
  
  (defun compile-pic (form fundefs)
    (output
     (emit :tail
  
negative.code:      (immediates (empty-immediates-environment)
        (virtual
         (closure
          (repeatedly *limit*
            #'(lambda (form)
                (elim
                 (inlined fundefs
                  (flatten
                   (beta (empty-beta-environment) form)))))
            (alpha2 (empty-alpha2-environment)
             (alpha1 (empty-alpha1-environment)
              (k-normal (empty-k-normal-environment)
               (expand form))))))))))))
  
  (defun expand-pic (form)
    (expand form))
  