/* Generated by Goblint-CIL v. 2.0.6-15-gfaeb7be */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex2.c"
struct __anonstruct_s_109580352 {
   int x ;
};
#line 1 "cilcode.tmp/ex2.c"
struct __anonstruct_s_109580352 s  ;