add external_vector.h