let shrink t i = assert (i >= 0 && i<=t.sz); t.sz <- t.sz - i