blob: 2224e7c7d438ee8833edf92b7bc6232c43789815 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
/* Generated by CIL v. 1.3.5 */
/* print_CIL_Input is true */
#line 327 "/usr/include/stdio.h"
extern int printf(char const * __restrict __format , ...) ;
#line 7 "cilcode.tmp/ex22.c"
int main(void)
{
{
#line 9
printf((char const * __restrict )"Hello world\n");
#line 10
return (0);
}
}
|
