the latest sbcl is 1.2.4