std::vector header with custom allocator.