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