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

#line 1 "cilcode.tmp/ex15.c"
int foo(void) 
{ 
  int x ;

  {
#line 2
  x = 5;
#line 3
  return (0);
}
}