struct address = first element address is relied on for pseudo-OO

It is required for that yes, and for many other things. It is hard to make a usefully defined struct layout without such guarantees, and this isn’t even considering the multiple full percents of performance loss reordering like this would cause!