Can you try some other SBCL versions, namely .20 and .22? What version of Elephant are you using? If you're using 0.9.1, try to update to the latest stable head. Leslie