Re: [slime-devel] advanced source location recording