Yes, I'm aware! I didn't show/use it here to try to make it more obvious what '@' would do to those less familiar with GDB. You would also have to either manually count the number of elements or print the array size by itself afterwards (if you care about the size).

I also used this as a stepping stone into some of the more complicated extensions, which I hope to share in the future.