use vector_of instead of the default extension to find the right native type for benchmarks