C++ PR13

vector (pr4) -> templated vector