> Well sure, reading an uninitialized value is erroneous except for the use
> of 'Valid.
No, it's not, as Ada is not C.
What's "not"? My statement is based on the Ada RM.
And please note the presence of pragma Normalize_Scalars.
That doesn't affect validity or erroneousness.
