(defun sample-function (y)  ;このyはspecialと見なされる
  (declare (special y))                                
  (let ((y t))              ;このyはレキシカルと見なされる
    (list y
          (locally (declare (special y))
            ;; この次のyはspecialと見なされる
            y))))
=>  SAMPLE-FUNCTION
(sample-function nil) =>  (T NIL) 
(setq x '(1 2 3) y '(4 . 5)) =>  (4 . 5)

;;; 下記の宣言は特に使いやすい指定ではありません。
;;; これらはただLOCALLYを使った正しい宣言の構文の例です。
(locally (declare (inline floor) (notinline car cdr))
         (declare (optimize space))
   (floor (car x) (cdr y))) =>  0, 1
;;; この例はlocally定義による特定のOPTIMIZEの設定を持った
;;; 関数定義の例を示したものです。
(locally (declare (optimize (safety 3) (space 3) (speed 0)))
  (defun frob (w x y &optional (z (foo x y)))
    (mumble x y z w)))
=>  FROB

;;; これは前回の例と同じですが、最適化の設定がその後に続く
;;; 同じコンパイルユニット内の定義に有効であることが違っています。
(declaim (optimize (safety 3) (space 3) (speed 0)))
(defun frob (w x y &optional (z (foo x y)))
  (mumble x y z w))
=>  FROB