let set t i v = t.data.(i) <- v; t.sz <- max t.sz (i + 1)