Update safe_vector.h