Some lisp programs