Verify that the language C uses structural type equivalence for arrays and pointers, but declaration equivalence for structs. Your examples should clearly indicate that the compiler allows structurally equivalent arrays/pointers to be treated as type-compatible, while disallowing this for structs. It should also clearly indicate that structs use declaration equivalence, not the more stringent name equivalence.