address@hidden bill]$ /home/bill/acl2-sources/debian-gnu-linux-gcl-saved_acl2.gcl 
GCL (GNU Common Lisp)  2.6.1 CLtL1   Mar 31 2004 10:49:29
Source License: LGPL(gcl,gmp), GPL(unexec,bfd)
Binary License:  GPL due to GPL'ed components: (BFD UNEXEC)
Modifications of this banner must retain notice of a compatible license
Dedicated to the memory of W. Schelter

Use (help) to get some basic information on how to use GCL.

 ACL2 Version 2.8 built March 31, 2004  11:52:24.
 Copyright (C) 2004  University of Texas at Austin
 ACL2 comes with ABSOLUTELY NO WARRANTY.  This is free software and you
 are welcome to redistribute it under certain conditions.  For details,
 see the GNU General Public License.

 Initialized with (INITIALIZE-ACL2 'INCLUDE-BOOK *ACL2-PASS-2-FILES* T
                      NIL NIL).
 See the documentation topic note-2-8 for recent changes.

 NOTE!!  Proof trees are disabled in ACL2.  To enable them in emacs,
 look under the ACL2 source directory in interface/emacs/README.doc; 
 and, to turn on proof trees, execute :START-PROOF-TREE in the ACL2 
 command loop.   Look in the ACL2 documentation under PROOF-TREE.

ACL2 Version 2.8.  Level 1.  Cbd "/home/bill/".
Type :help for help.
Type (good-bye) to quit completely out of ACL2.

ACL2 !>:q

Exiting the ACL2 read-eval-print loop.  To re-enter, execute (LP).
ACL2>(room)

  2917/2917   89.5%         CONS RATIO LONG-FLOAT COMPLEX STRUCTURE
   100/100    19.8%         FIXNUM SHORT-FLOAT CHARACTER RANDOM-STATE READTABLE NIL
   400/400    51.2%         SYMBOL STREAM
     1/2      37.2%         PACKAGE
    14/38      5.1%         ARRAY HASH-TABLE VECTOR BIT-VECTOR PATHNAME CCLOSURE FAT-STRING
   200/200    47.1%         STRING
   400/400     1.6%         CFUN BIGNUM
    40/40     60.0%         SFUN GFUN CFDATA SPICE NIL

  1179/1182                 contiguous (150 blocks)
       12067                hole
       500     0.0%         relocatable

      4072 pages for cells
     17818 total pages
    119023 pages available
     -5769 pages in heap but not gc'd + pages needed for gc marking
    131072 maximum pages

ACL2>