Delete alvinw5.lisp~