Thank you! This is very probably our code problem and not an sbcl bug, so you can close this; sorry for taking up your time.
Thank you! This is very probably our code problem and not an sbcl bug, so you can close this; sorry for taking up your time.