Restored __destructor() behavior