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

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