removed destruct.lisp