let
pop t =
assert
(t.sz >=1); t.sz <- t.sz - 1