Comment by kazinator

No, the name of an array is not the address to its first element.

For instance, this equivalence is not required:

   (sizeof array) == (sizeof &array[0])

though it could be true by coincidence.

If array were the address of the first element, then it would always have the same size. Be careful with words like "is".

Oh, the above is "in C", by the way. We wouldn't want not to satisfy your key point!