Update ex17.lisp