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

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

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