Call SBCL directly