diff --git a/ansi-tests/subtypep-cons.lsp b/ansi-tests/subtypep-cons.lsp
index 44b99b549c9db126e3f9914d7a2764f62a4d630e..9a1695aaa7b8cd52307b6233f5ca8a64470a5fca 100644
--- a/ansi-tests/subtypep-cons.lsp
+++ b/ansi-tests/subtypep-cons.lsp
@@ -319,3 +319,9 @@
 	(t2 `(not (cons t (complex (integer * -500))))))
     (subtypep-and-contrapositive-are-consistent t1 t2))
   t)
+
+;;; From GCL
+
+(deftest subtypep.cons.39
+  (values (subtypep t '(and (not (cons cons (cons cons t))) (not (cons t cons)))))
+  nil)