let
last t =
let
e = t.data.(t.sz - 1)
in
assert
(not (e == t.dummy)); e