vector to be generic-ed as C++ template