replace std::vector with a_vector (define for vector)