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

#line 1 "cilcode.tmp/ex45.c"
char i8  ;
#line 2 "cilcode.tmp/ex45.c"
short i16  ;
#line 3 "cilcode.tmp/ex45.c"
int i32  ;
#line 4 "cilcode.tmp/ex45.c"
long long i64  ;