Yep, that’s correct. The entire data structure of a C array, as available to the running code, is a pointer to the first element. The compiler has that informat

Yep, that’s correct. The entire data structure of a C array, as available to the running code, is a pointer to the first element. The compiler has that information during compilation but it doesn’t make it trough to the resulting executable.