Standard Lisp on top of Common Lisp for Reduce