diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp
index 07b77557956a6c2b9e3efec3e303288b9423e6dc..96ceba1e137a02ba272e470790aea1876d5c796b 100644
--- a/ansi-tests/misc.lsp
+++ b/ansi-tests/misc.lsp
@@ -8188,9 +8188,9 @@ Broken at C::WT-MAKE-CLOSURE.
        (logior
 	(let* ((v5 (reduce #'+ (list 0 a))))
 	  (declare (dynamic-extent v5))
-	  v5))))
+	  (1- v5)))))
    17)
-  17)
+  16)
 
 (deftest misc.428
   (funcall
@@ -8217,3 +8217,30 @@ Broken at C::WT-MAKE-CLOSURE.
 	 (logandc1 v8 28)))))
   28)
 
+;;; poplog 15.53
+;;; Excess type specifier(s) in THE special form
+
+(deftest misc.430
+  (unwind-protect 0 (the integer 1))
+  0)
+
+;;; Wrong return values: T, 0
+(deftest misc.431
+  (funcall
+   (compile
+    nil
+    '(lambda (a) (declare (notinline > *))
+       (declare (optimize (compilation-speed 0) (safety 2) (speed 2) (debug 0) (space 3)))
+       (catch 'ct1 (* a (throw 'ct1 (if (> 0) a 0))))))
+   5445205692802)
+  5445205692802)
+
+;;; Ste: stack empty (missing argument? missing result?)
+(deftest misc.432
+  (loop for x below 2 count (not (not (typep x t))))
+  2)
+
+(deftest misc.433
+  (let ((a 1)) (if (not (/= a 0)) a 0))
+  0)
+