Test: Removed user-defined destructor