Using a Vector template derived from std::vector