[Reduction] #553: C++ vector_new