inf-lisp.elc 20 KB