# 1 "cilcode.tmp/ex15.cil.c"
# 1 "<command-line>"
# 1 "cilcode.tmp/ex15.cil.c"
# 1 "cilcode.tmp/ex15.c"
int foo(void)
{
  int x ;

  {
# 2 "cilcode.tmp/ex15.c"
  x = 5;
# 3 "cilcode.tmp/ex15.c"
  return (0);
}
}
