--- acl2-4.0.orig/books/serialize/serialize-tests.lisp
+++ acl2-4.0/books/serialize/serialize-tests.lisp
@@ -123,6 +123,8 @@
             (map-intern base (cdr strs)))
     nil))
 
+(comp t)
+
 (defconst *test*
   (let* ((nats         (nats 0 1000))
          (negatives    (map-negate nats))