On Sat, Nov 10 2012, Paul Bowyer wrote:
I ran the test multiple times and it failed identically each time.
Sorry for not responding earlier. I marked it now as an expected failure as this is something that can't be fixed without changing SBCL itself.
Helmut