anchor.diff:  
   (define-classify-variables (define varrec val)
     (classify-variables val)
  -  (let* ((state (varrec-attr varrec 'state))
  -         (state-table (if (eq? 'lambda (car val))
  +  (let* ((state-table (if (eq? 'lambda (car val))
                             (begin
                               (form-attr-set! val 'self varrec)
                               varrec-define-lambda-state-table)
  -                          varrec-define-state-table)))
  -    (when (or (= state 2) (= state 5)) (rplaca form 'set!))
  -    (varrec-attr-set! varrec 'state (vector-ref state-table state))))
  +                          varrec-define-state-table))
  +         (state (vector-ref state-table (varrec-attr varrec 'state))))
  +    (when (= state 2) (rplaca form 'set!))
  +    (varrec-attr-set! varrec 'state state)))
   
   (define (classify-block-variables varrecs init form)
     (dolist (varrec varrecs)
  
positive.code:   (dolist (varrec varrecs)
      (let* ((state (varrec-attr-remove varrec 'state)))
        (cond ((= state 6) (error "bad variable ~S" (car varrec)))
              ((or (= state 2) (= state 3))
               (rplacd (cdr form) (cons (list 'define varrec (quoted-unspecified))
                                        (cddr form)))))
        (varrec-attr-set! varrec 'access
  
negative.code:                                     (cdddr varrec))))
            (varrec-attr-set! varrec 'closure-stack
                              (acons depth local-varrec closure-stack))
            (varrec-attr-set! varrec 'boxed (varrec-written? varrec))
            (rplaca closure-cell (cons local-varrec (car closure-cell)))
            local-varrec))))
  
  