For now, I have removed the inline declaration for the integer readers from the repository, since they seem to be what causes this. Most likely, the problem is with SBCL, not our code, but since I am unable to reproduce the issue I can not say for sure.
Marijn