pr lisp. , 65a