a 10 lisp. 86 a87