Syntax:
pragma Finalize_Storage_Only (first_subtype_LOCAL_NAME);
The argument of pragma Finalize_Storage_Only must denote a local type which
is derived from Ada.Finalization.Controlled or Limited_Controlled. The
pragma suppresses the call to Finalize for declared library-level objects
of the argument type. This is mostly useful for types where finalization is
only used to deal with storage reclamation since in most environments it is
not necessary to reclaim memory just before terminating execution, hence the
name. Note that this pragma does not suppress Finalize calls for library-level
heap-allocated objects (see pragma No_Heap_Finalization).