Re: [slime-devel] swank-clisp getpid simplified