/* Generated by CIL v. 1.7.3 */ /* print_CIL_Input is true */ #line 1 "cilcode.tmp/ex39.c" typedef int int_t; #line 2 "cilcode.tmp/ex39.c" typedef int int2_t; #line 4 "cilcode.tmp/ex39.c" int_t f(int2_t *int2_t___0 ) { int_t int_t___0 ; int int2_t___1 ; { #line 5 int_t___0 = *(int2_t___0 + 0); #line 7 int2_t___1 = 2 * int_t___0; #line 8 return (int2_t___1); } }