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