Choose the form of the destructor: