Is this a 32 or 64 bit SBCL? If the first, I'm guessing that the C-side SIMD code isn't happy with the stack alignment.
Is this a 32 or 64 bit SBCL? If the first, I'm guessing that the C-side SIMD code isn't happy with the stack alignment.