Re: [armedbear-devel] SBCL->ABCL migration questions