how efficient is `Vector` for this?