Finalization of static package variables

[Manuel Collado <m.collado@lml.ls.fi.upm.es>]

Variables declared in the global scope of a package body seem not to be 
finalized automatically at the end of the whole program (using GNAT 
3.15p on WindowsXP).

If some of these variables contain certain GUI stuff, the program 
remains as a zombie process after the main procedure termination.

After several trial-and-error attemps, an Unchecked_Deallocation on 
these variables seems to do the trick (the whole program terminates 
smoothly). But this is probably not standard-conformant (ARM 13.11.2-16).

If there a standard way of forcing finalization of static package 
variables at program termination? I.e., without declaring them as 
dynamic, or inside a main procedure, or calling explicitly the 
finalization actions.

Thanks in advance.
-- 
Manuel Collado - http://lml.ls.fi.upm.es/~mcollado