> typedef union {
> int u1;
> char u2;
> } union_type;
>
> typedef struct {
> int f1;
> union_type f2;
> } struct_type;
>
> struct_type s;
>
> s.u1 = 0; /* should be: s.f1.u1 = 0 */
Gee, our compiler certainly complains about this one.