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

#line 276 "/usr/include/stdio.h"
extern int printf(char const   * __restrict  __format  , ...) ;
#line 5 "cilcode.tmp/ex22.c"
__inline char unused_inline(void) 
{ 

  {
#line 5
  return ((char)0);
}
}
#line 7 "cilcode.tmp/ex22.c"
int main(void) 
{ 

  {
#line 9
  printf((char const   * __restrict  )"Hello world\n");
#line 10
  return (0);
}
}
