** The variable print-length applies to printing vectors and bitvectors,<BR>
as well as lists.
<P>