let
imp_undo t =
let
(v, h2) = undo t.h
in
t.h <- h2; v