small use of std::vector