# 1 "cilcode.tmp/ex14.cil.c"
# 1 "<command-line>"
# 1 "cilcode.tmp/ex14.cil.c"
# 1 "cilcode.tmp/ex14.c"
int x = 5;
# 5 "cilcode.tmp/ex14.c"
int main(void) ;
# 5 "cilcode.tmp/ex14.c"
static int x___1 = 7;
# 2 "cilcode.tmp/ex14.c"
int main(void)
{
  int x___0 ;

  {
# 3 "cilcode.tmp/ex14.c"
  x___0 = 6;
# 6 "cilcode.tmp/ex14.c"
  return (x___1);
# 8 "cilcode.tmp/ex14.c"
  return (x___0);
}
}
