Update utx.lisp