ANSI CL allows implementations to copy characters at any time. Does that also applies to strings? I think it should, because strings are made of characters... In particular, I ask if my implementation can evaluate (eq (symbol-name 'aaa) (symbol-name 'aaa)) => nil because it generates the name string at each call to SYMBOL-NAME. Andrea Monaco