anchor.diff:  
   (define (varrec-written? varrec)
     (eq? 'written (varrec-attr varrec 'access)))
  +(define (varrec-early-function? varrec)
  +  (eq? 'early-function (varrec-attr varrec 'access)))
   
   ;;; Make the closure list for each lambda (i.e. variables unbound
   ;;; within the lambda body).  After this, lambdas look like:
  
positive.code:   (attr-ref (second form) attr))
  
  (define (form-attr-set! form attr val)
    (rplaca (cdr form) (attr-set! (second form) attr val)))
  
  
  (define (varrec-attr varrec attr)
    (attr-ref (cdr varrec) attr))
  
  (define (varrec-attr-set! varrec attr val)
    (rplacd varrec (attr-set! (cdr varrec) attr val)))
  
  (define (varrec-attr-remove varrec attr)
    (attr-remove varrec attr))
  
negative.code:                     (make-alloc-closure closure))))
  
  (define-decompose-lambdas (define varrec val)
    (if (varrec-early-function? varrec)
        (decompose-define-lambda form varrec val begin)
        (decompose-lambdas val begin)))
  
  