C absolutely has struct, array, and subobject boundaries. The example is already undefined behavior in C.