/* Generated by CIL v. 1.7.3 */ /* print_CIL_Input is true */ #line 1 "cilcode.tmp/ex38.c" unsigned long foo(void) { { #line 2 return (2305843009213693951UL); } }