Not just that array indexing is done as pointer addition, but it goes to the type system etc. but only compiler-heads need to know :-)
OK, so a C compiler implicitly converts the type of an array name 'a' from address of first element of 'a' to pointer to the base type of 'a'
EXCEPT in one instance. Name that instance