[slime-devel] swank-clisp getpid simplified