void _main(){int data;_union_type my_union;data=-1;{char input_buf[CHAR_ARRAY_SIZE]="";fgets(input_buf, CHAR_ARRAY_SIZE, stdin);data=atoi(input_buf);}my_union.a=data;{int data=my_union.b;assert(data > ASSERT_VALUE);}}
static void main(){int data;_union_type my_union;data=-1;data=ASSERT_VALUE+1;my_union.a=data;{int data=my_union.b;assert(data > ASSERT_VALUE);}}