/* Generated by CIL v. 1.3.7 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex1.c"
long x  ;
#line 3 "cilcode.tmp/ex1.c"
static long long y  ;
#line 6 "cilcode.tmp/ex1.c"
int main(void) 
{ 

  {
#line 6
  return ((int )((long long )x + y));
}
}