Handling Physical Dimensions in Ada
Add Finalization to an existing type
Safe_Pointers Smart_Pointers