--- numbers.test.~1.23.~	2003-05-10 13:01:51.000000000 +1000
+++ numbers.test	2003-05-22 10:37:19.000000000 +1000
@@ -1918,6 +1918,20 @@
 
 (with-test-prefix "logcount"
   
+  (with-test-prefix "2^i"
+    (do ((n 1 (ash n 1))
+	 (i 0  (1+ i)))
+	((> i 256))
+      (pass-if n
+	(= 1 (logcount n)))))
+
+  (with-test-prefix "2^i-1"
+    (do ((n 0 (1+ (ash n 1)))
+	 (i 0  (1+ i)))
+	((> i 256))
+      (pass-if n
+	(= i (logcount n)))))
+
   (with-test-prefix "-2^i, meaning ...11100..00"
     (do ((n -1 (ash n 1))
 	 (i 0  (1+ i)))