Update ex16.lisp