Hi, I'm giving the cl-unification package a test drive with recent sbcl (0.9.16 & 0.9.17). When trying to compile the factorial example in the docs, I get this: ==> #<EMPTY UNIFY ENVIRONMENT: 1 frame {B66AE51}> don't know how to dump #<EMPTY UNIFY ENVIRONMENT: 1 frame {B66AE51}> (default MAKE-LOAD-FORM method called). Anyone have any ideas about what is causing this? I can help debug. Thanks, Joel Boehland __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com