In the dark old days, the GNAT compiler didn't allocate the maximum
possible size for records with default discriminants. They changed it
a some point, for efficiency reasons IIRC.
Nope. There was no change here. The maximum was always allocated.