anchor.diff:        (cons (f (car lst)) (map f (cdr lst)))))
   
   (define-macro (let binds . body)
  -  (cons (list 'lambda
  -              (map (lambda (c) (if (pair? c) (car c) c)) binds)
  -              (f-body body))
  -        (map (lambda (c) (if (pair? c) (cadr c) #f)) binds)))
  +  ((lambda (lname)
  +     (begin
  +       (if (symbol? binds)
  +	   (begin (set! lname binds)
  +		  (set! binds (car body))
  +		  (set! body (cdr body))))
  +       ((lambda (thelambda theargs)
  +	  (cons (if lname
  +		    (list 'label lname thelambda)
  +		    thelambda)
  +		theargs))
  +	(list 'lambda
  +	      (map (lambda (c) (if (pair? c) (car c) c)) binds)
  +	      (f-body body))
  +	(map (lambda (c) (if (pair? c) (cadr c) #f)) binds))))
  +   #f))
   
   (define (nconc . lsts)
     (cond ((null? lsts) ())
  
positive.code:     (table.foldl (lambda (k v z) (put! nt k v))
                   () t)
      nt))
  
negative.code: 	(macroexpand (list 'lambda (cdr form) (f-body body)))))
  (define macroexpand (macroexpand macroexpand))
  
  (define =   eqv)
  (define eql eqv)
  (define (/= a b) (not (equal a b)))
  (define != /=)
  