# 1 "cilcode.tmp/ex32.cil.c"
# 1 "<command-line>"
# 1 "cilcode.tmp/ex32.cil.c"
# 1 "cilcode.tmp/ex32.c"
int x = 5;
# 2 "cilcode.tmp/ex32.c"
int f(void)
{
  int x___0 ;

  {
# 3 "cilcode.tmp/ex32.c"
  x___0 = 3;
# 6 "cilcode.tmp/ex32.c"
  return (x);
}
}
