What is a Destructor?