Update h5ex-t-int.lisp