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

#line 1 "cilcode.tmp/ex38.c"
unsigned long foo(void) 
{ 


  {
#line 2
  return (2305843009213693951UL);
}
}
