If two POD structs are members of a union and start with the same field types, it is legal to write one such matching field and read another.
