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