We do not need to insert elements at arbitrary locations,
so vector should be sufficient.

Postpone changes in kpmcore till later to avoid breaking API.