Question: Why is not deleting an object that has a destructor with a side effect undefined behavior in C++11?