[slime-devel] Re: * load-pathname*, *load-truename*