1. 2009-07-27 Re: [Sbcl-devel] BUG: failed AVER: (XMM-REGISTER-P X) sbcl-deve Paul Khuong 2. 2009-07-15 Re: [Sbcl-devel] BUG: failed AVER: (XMM-REGISTER-P X) sbcl-deve Paul Khuong 3. 2009-07-15 [Sbcl-devel] BUG: failed AVER: (XMM-REGISTER-P X) sbcl-deve Eric Marsden