anchor.diff:  (defun make-temp (argument)
     (cond ((typep argument 'sicl-env:lexical-location)
   	 argument)
  -	((typep argument 'sicl-ast:constant-ast)
  -	 (sicl-mir:make-constant-input (sicl-ast:value argument)))
   	((typep argument 'sicl-ast:immediate-ast)
   	 (sicl-mir:make-immediate-input (sicl-ast:value argument)))
   	((typep argument 'sicl-ast:load-time-value-ast)
  
positive.code:     (assert (typep ast 'sicl-ast:function-ast))
      (compile-function (sicl-ast:body-ast ast))))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Compile ASTs that represent low-level operations.
  
negative.code: ;;;
  ;;; Compile a LEXICAL-LOCATION object. 
  ;;;
  ;;; If the RESULTS is T, then we generate a RETURN-INSTRUCTION.
  ;;; In that case, we know that there are no successors.  If there
  ;;; is a single successor and the RESULTS is the empty list, then a
  ;;; lexical variable occurs in a context where its value is not
  ;;; required, so we warn, and generate no additional code.  If there
  