[asdf-devel] Re: Help with cl-launch