Use std::vector everywhere