anchor.diff:          ;; Convert other forms to single-argument functions and
           ;; add it to the fasl as an eval node.
           ;; Progn to avoid problems with DECLARE.
  -        (t (let ((fn (compile-lambda `(lambda () (progn ,form)) env)))
  +        (t (let ((fn (compile-lambda `(lambda () (progn ,form)) (cons env nil))))
                (add-to-llf +llf-funcall+ fn)))))
   
   (defun cross-compile-file (input-file &key
  
positive.code:               (eql (first (third form)) 'lambda))
           (let* ((name (second (second form)))
                  (lambda (third form))
                  (fn (compile-lambda lambda env)))
             #+nil(add-to-llf +llf-defun+ name fn)
             (add-to-llf +llf-setf-fdefinition+ fn name)))
          ;; And (define-lap-function name (options...) code...)
  
negative.code:       (when (eql 'special (first dec))
          (push (list* :special (rest dec)) env)))
      (x-compile-top-level-implicit-progn body env mode)))
  
  (defun make-macrolet-env (definitions env)
    (list* (list* :macros (mapcar 'hack-macrolet-definition definitions)) env))
  
  (defun x-compile-top-level (form env &optional (mode :not-compile-time))
    "Cross-compile a top-level form.
  