What happens when a destructor throws