Question: Will exit() or an exception prevent an end-of-scope destructor from being called?