Used inherited constructor for safe_vector