anchor.diff:  			   stack-places values)
        ,@body))
   
  -(defun lambda-call-embed (fi lambda-call export-lambdas?)
  +(defun lambda-call-embed (fi lambda-call)
     (with-lambda-call (args vals body lambda-call)
       (with ((a v) (assoc-splice (argument-expand 'dummy-in-lambda-call-embed args vals)))
   	  (funinfo-env-add-many fi a)
  -	  (lambda-expand-tree fi (lambda-expand-make-inline-body a v body) export-lambdas?))))
  +	  (lambda-expand-tree fi (lambda-expand-make-inline-body a v body)))))
   
  -;;; Export
  +;;;; Export
   
   (defvar *lexical-sym-counter* 0)
   
  
positive.code:   (let exported-name ($ '~L (1+! *lexical-sym-counter*))
      (let fi-exported (lambda-make-funinfo (lambda-args x) fi)
  	  (funinfo-make-ghost fi-exported)
  	  (lambda-expand-tree fi-exported (lambda-body x) t)
        (let argdef (append (awhen (funinfo-ghost fi-exported)
  						    (list !))
  						  (lambda-args x))
  
negative.code:     `(%%funref ,exported-name
                 ,(funinfo-sym fi-exported))))
  
  ;;;; Passthrough
  
  (defun lambda-expand-tree-unexported-lambda (fi x)
    (with (new-fi (or (when (lambda-funinfo x)
  					  (get-lambda-funinfo x))
  					(lambda-make-funinfo (lambda-args x) fi))
  		 body (lambda-expand-tree-0 new-fi (lambda-body x)))
  	(copy-lambda x :info new-fi :body body)))
  
  ;;;; Toplevel
  
  (defun lambda-expand-tree-cons (fi x)
    (when (and (%set-atom-fun? x)
               (lambda? ..x.))
      (funinfo-add-local-function-args fi .x. (lambda-args ..x.)))
    (?
      (lambda-call? x) (lambda-call-embed fi x)
      (lambda? x) (? (and (transpiler-lambda-export? *current-transpiler*)
                          (not (eq fi (transpiler-global-funinfo *current-transpiler*) )))
                     (lambda-export fi x)
  		           (lambda-expand-tree-unexported-lambda fi x))
  	(lambda-expand-tree-0 fi x)))
  
  (defun lambda-expand-tree-0 (fi x)
    (?
  	(atom x) x
  	(atom x.) (cons x. (lambda-expand-tree-0 fi .x))
  	(cons (lambda-expand-tree-cons fi x.)
  		  (lambda-expand-tree-0 fi .x))))
  
  (defun lambda-expand-tree (fi x)
    (aprog1 (lambda-expand-tree-0 fi x)
      (with-temporary (transpiler-lambda-export? *current-transpiler*) t
        (place-expand-0 fi !))))
  
  (defun transpiler-lambda-expand (tr x)
    (lambda-expand-tree (transpiler-global-funinfo tr) x))
  