diff --git a/ansi-tests/complement.lsp b/ansi-tests/complement.lsp
new file mode 100644
index 0000000000000000000000000000000000000000..89ce870ea0d87f35534c54d313ef80d4090255c6
--- /dev/null
+++ b/ansi-tests/complement.lsp
@@ -0,0 +1,28 @@
+;-*- Mode:     Lisp -*-
+;;;; Author:   Paul Dietz
+;;;; Created:  Sun Oct  6 20:04:33 2002
+;;;; Contains: Tests for COMPLEMENT
+
+(in-package :cl-test)
+
+(deftest complement.1
+  (funcall (cl::complement #'identity) nil)
+  t)
+
+(deftest complement.2
+  (funcall (cl::complement #'identity) t)
+  nil)
+
+(deftest complement.3
+  (every #'(lambda (x) (eql (funcall (cl::complement #'not) x)
+			    (not (not x))))
+	 *universe*)
+  t)
+
+(deftest complement.4
+  (let ((x '(#\b)))
+    (loop for i from 2 to (min 256 (1- call-arguments-limit))
+	  always (progn
+		   (push #\a x)
+		   (apply (cl::complement #'char=) x))))
+  t)
diff --git a/ansi-tests/constantly.lsp b/ansi-tests/constantly.lsp
new file mode 100644
index 0000000000000000000000000000000000000000..17ae7f6f9ba450de74c306e4b77a56104c9c99fe
--- /dev/null
+++ b/ansi-tests/constantly.lsp
@@ -0,0 +1,14 @@
+;-*- Mode:     Lisp -*-
+;;;; Author:   Paul Dietz
+;;;; Created:  Sun Oct  6 19:47:16 2002
+;;;; Contains: Tests for CONSTANTLY
+
+(in-package :cl-test)
+
+(deftest constantly.1
+  (let ((fn (cl::constantly 10))
+	(x nil))
+    (loop for i from 0 to (min 256 (1- call-arguments-limit))
+	  always (prog1 (eql (apply fn x) 10)
+		   (push 'a x))))
+  t)
diff --git a/ansi-tests/gclload2.lsp b/ansi-tests/gclload2.lsp
index 7cadfb20659fe04229b7b1080d4218722fc0f23f..4c1c2495345b6fec75d1a0f124cb0a96c0f20571 100644
--- a/ansi-tests/gclload2.lsp
+++ b/ansi-tests/gclload2.lsp
@@ -3,6 +3,11 @@
 ;;; Tests of symbols
 (load "cl-symbols.lsp")
 
+;;; Tests of data and control flow
+
+(load "constantly.lsp")
+(load "complement.lsp")
+
 ;;; Tests of conses
 
 (load "cons-test-01.lsp")