Comment by Peter - Reinstate Monica on When a struct member is a struct, its alignment and size are different from native types?

Dynamic allocation is another reason, besides arrays, for middle-padding (on the stack, the compiler could simply allocate S1s at odd addresses, but malloc() must return aligned memory).