VALUE-CELL returning the value cell or nil would seem to be the rught thing. I presume there are no problems with having these objects in the real lisp world? (If the GC reclaims value cells of GCed atoms you could get screwed by GCTWA)