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

#line 1 "cilcode.tmp/ex21.c"
int main(void) 
{ 
  int x ;
  int y ;
  int z ;
  int *tmp ;

  {
#line 2
  if (x) {
#line 2
    tmp = & y;
  } else {
#line 2
    tmp = & z;
  }
#line 2
  x ++;
#line 2
  return ((int )(tmp - & x));
}
}