Update h5ex-t-intatt.lisp