Edit vector_types.cpp