r3002: sbcl additions