15.2.3. Destructors in Derived Classes