Patch pushed as 2bd04fd3be1ca310308055b3d9ee2264271e268f with some
modifications. I fixed the tests for SBCL.
Thanks.