> In FFI code you have to be more careful [about killing threads], however. It's clear there's a bunch of bad things could happen here - but not obvious what does happen. Does killing a thread that is calling a C function kill it immediately (i.e., before the call completes) or wait until the C function finishes? -- Alastair