use the *.lisp finally