SBCL "user-guided optimization" notice