Index: /trunk/tests/ansi-tests/ccl.lsp
===================================================================
--- /trunk/tests/ansi-tests/ccl.lsp	(revision 14172)
+++ /trunk/tests/ansi-tests/ccl.lsp	(revision 14173)
@@ -1689,2 +1689,11 @@
         (set-macro-character #\Left-Pointing_Double_Angle_Quotation_Mark nil)))
   :win)
+
+(deftest ccl.bug#708
+    (flet ((one (b)
+	     (declare (type (integer 51357426816569 68500595286128) b))
+	     (logand b -2))
+	   (two (b)
+	     (logand b -2)))
+      (- (one 67660763903986) (two 67660763903986)))
+  0)