5.1.47 No_Nested_Finalization

[RM D.7] All objects requiring finalization are declared at the library level.