diff --git a/ansi-tests/beyond-ansi/errors-data-and-control-flow-1.lsp b/ansi-tests/beyond-ansi/errors-data-and-control-flow-1.lsp
index 37f6a346a19d5ee8a36f5f0e34c5ddca8f8e60a8..541c87aa8c4d70ad5a4ddc68049bda26726b8650 100644
--- a/ansi-tests/beyond-ansi/errors-data-and-control-flow-1.lsp
+++ b/ansi-tests/beyond-ansi/errors-data-and-control-flow-1.lsp
@@ -22,6 +22,11 @@
 (def-error-test defun.4 (defun #.(gensym) #.(gensym)))
 (def-error-test defun.5 (defun #.(gensym) () . foo))
 
+(def-error-test defun.6 (defun #.(gensym) () "foo" "bar" (declare)))
+(def-error-test defun.7 (defun #.(gensym) () nil (declare)))
+
+;;; FIXME  Add lambda list tests
+
 ;;; FLET
 
 (def-error-test flet.1 (flet . foo))
@@ -65,6 +70,11 @@
 (def-error-test flet.28 (flet ((foo (&aux (x nil . bar))))))
 (def-error-test flet.29 (flet ((foo (&aux (x nil nil))))))
 
+(def-error-test flet.30 (flet ((foo () "x" "y" (declare))) (foo)))
+(def-error-test flet.31 (flet ((foo () :bad1) (foo () :bad2)) (foo)))
+
+;;; FIXME Add tests for disallowed lambda list keywords
+
 ;;; LABELS
 
 (def-error-test labels.1 (labels . foo))
@@ -108,5 +118,10 @@
 (def-error-test labels.28 (labels ((foo (&aux (x nil . bar))))))
 (def-error-test labels.29 (labels ((foo (&aux (x nil nil))))))
 
+(def-error-test labels.30 (labels ((foo () "x" "y" (declare))) (foo)))
+(def-error-test labels.31 (labels ((foo () :bad1) (foo () :bad2)) (foo)))
+
+;;; FIXME Add tests for disallowed lambda list keywords
+
 ;;; MACROLET
 ;;; FIXME: add these
diff --git a/ansi-tests/beyond-ansi/errors-data-and-control-flow-2.lsp b/ansi-tests/beyond-ansi/errors-data-and-control-flow-2.lsp
index 0dc871000d580fb310ae6c72991b09636bd9ab5f..2989fe0894829d5f81ad18143fdab833e22a6c62 100644
--- a/ansi-tests/beyond-ansi/errors-data-and-control-flow-2.lsp
+++ b/ansi-tests/beyond-ansi/errors-data-and-control-flow-2.lsp
@@ -83,6 +83,7 @@
 (def-all-error-test destructuring-bind.3
   (typef '(or symbol cons))
   #'(lambda (x) `(destructuring-bind ,x nil)))
+(def-error-test destructuring-bind.4 (destructuring-bind (x) '(a) nil (declare) x))
 
 ;;; LET
 
@@ -101,6 +102,8 @@
 (def-all-error-test let.12 'symbolp
   #'(lambda (x) `(let ((,x)) nil)))
 
+(def-error-test let.13 (let ((x 0) (x 1)) x))
+
 ;;; LET*
 
 (def-error-test let*.1 (let*))