finish SBCL threads koan