DATA_ALIGNMENT vs. DECL_USER_ALIGNMENT

[Richard Kenner]

    Is it not true in Ada that if something is a particular type, then
    it has the properties (including alignment) of that type?

This is the terminology point that Robert alluded to.  If something
has an alignment of 64 bits, it *also* has an alignment of 32 bits and
of 16 bits, etc.  So an object that is aligned to 64 bits and is of a
type that is aligned to 32 bits *has* "the properties (including
alignment)" of its type.