This is correct. It is also stated, albeit in lesser detail, in the comments 14 hours ago, so I'm not sure why it was posted here a half hour ago. SBCL isn't do

This is correct. It is also stated, albeit in lesser detail, in the comments 14 hours ago, so I'm not sure why it was posted here a half hour ago. SBCL isn't doing it wrong. The programmer is.