anchor.diff:                (eql (first (third form)) 'lambda))
            (let* ((name (second (second form)))
                   (lambda (third form))
  -                (fn (compile-lambda lambda env)))
  +                (fn (compile-lambda lambda (cons env nil))))
              #+nil(add-to-llf +llf-defun+ name fn)
              (add-to-llf +llf-setf-fdefinition+ fn name)))
           ;; And (define-lap-function name (options...) code...)
  
positive.code:         ;; 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)))
               (add-to-llf +llf-funcall+ fn)))))
  
  (defun cross-compile-file (input-file &key
  
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.
  