For record types, for data elements larger than a single octet, the
endianness is unspecified by the
language and is expected to be a configurable property of the
underlying storage. The language encoding rules use relative
terms such as first and
last octets, and these terms are
expected to be interpreted with respect to the underlying storage
endianness.
For packed types, the fields are conceptually packed into a
single integer, and that integer is written to the underlying
storage in big-endian byte order.