Does any Lisp actually pass these two tests? I think print-unreadable-object.2 expects a space after the type in all cases. Test 3 expects a space before the address in all cases. Does anything think that that is what the spec really wants? If no Lisp passes this test, can we just change them or remove them? Ray