Jussi Piitulainen wrote:

>Shall we switch, and is a vector good enough for an index object? (I
>believe somebody asked for such packaging even apart from efficiency.)
>
A modest but not order-or-magnitude difference on a non-optimizing
implementation is not does not IMO justify a less natural api.
    --Per Bothner