"Tobias C. Rittweiler" writes: > Ok, the problem is that 22.1.3.6 does not specify that printing of bit > vectors involves *PRINT-LENGTH*. The same is true for strings > (22.1.3.4.) We could, however, use custom pprint dispatch table entries > to do the necessary truncating for us. I committed this. -T.