[sklogic]

You can even implement this part of a compilation in your Lisp itself, with a little bit of a bootstrap.