Create ADT_vector_prototypes.h