anchor.diff:  ;;; Converting RETURN-FROM.
   
   (defmethod convert-special ((symbol (eql 'return-from)) form env)
  -  (cleavir-code-utilities:check-form-proper-list form)
  -  (cleavir-code-utilities:check-argcount form 1 2)
  -  (unless (symbolp (cadr form))
  -    (error 'block-name-must-be-a-symbol
  -	   :expr (cadr form)))
     (let ((info (cleavir-env:block-info (cadr form) env)))
       (if (null info)
   	(error 'block-name-unknown
  
positive.code:     ((symbol (eql 'load-time-value)) form environment)
    (cleavir-code-utilities:check-form-proper-list form)
    (cleavir-code-utilities:check-argcount form 1 2)
    (unless (null (cddr form))
      ;; The HyperSpec specifically requires a "boolean"
      ;; and not a "generalized boolean".
      (unless (member (caddr form) '(nil t))
        (error 'read-only-p-must-be-boolean
  	     :expr (caddr form))))
    (cleavir-ast:make-load-time-value-ast
     (convert (cadr form) environment)
     (caddr form)))
  
negative.code: (in-package #:cleavir-generate-ast)
  
  (defmethod convert-special :around (symbol form env)
    (declare (ignore env))
    (check-special-form-syntax symbol form))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Converting QUOTE.
  
  (defmethod convert-special
      ((symbol (eql 'quote)) form env)
    (cleavir-ast:make-constant-ast (cadr form)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  