Scott, the problem is probably either with the DLLs or SBCL. At this point, I'd try to reproduce the crash with another Lisp, e.g. CCL.

(sent from my phone)

On Oct 4, 2014 9:55 PM, "Scott Turner" <srt19170@gmail.com> wrote:
On Sat, Oct 4, 2014 at 3:50 PM, Luís Oliveira <luismbo@gmail.com> wrote:
From your description, it seems unlikely that CFFI is to blame. Can you reproduce the crash using sb-alien:load-shared-object instead?

I didn't know about sb-alien -- you learn something new with every bug.

The crash is reproducible with sb-alien:load-shared-object as well.  Does that confirm that the problem is with the DLLs?  I can cross-post this to the SBCL list and see if anyone there has any insight.

-- Scott