https://bugs.launchpad.net/sbcl/+bug/943953 appears to be a duplicate of this and is possibly related to https://bugs.launchpad.net/sbcl/+bug/908102
https:/ /bugs.launchpad .net/sbcl/ +bug/943953 appears to be a duplicate of this and is possibly related to https:/ /bugs.launchpad .net/sbcl/ +bug/908102