Update h5ex-t-regrefatt.lisp