Testing the destructor honoring marking