pragmaNormalize_Scalars;
...
My_Variable : Positive; -- Oops, forgot to initialize this variable.-- The compiler (may) initialize this to 0
...
-- Oops, using a variable before it is initialized!-- An exception should be raised here, since the compiler-- initialized the value to 0 - an out-of-range value for the Positive type.
Some_Other_Variable := My_Variable;