better destructor example