# 1 "cilcode.tmp/ex22.cil.c"
# 1 "<command-line>"
# 1 "cilcode.tmp/ex22.cil.c"
# 362 "/usr/include/stdio.h"
extern int printf(char const * __restrict __format , ...) ;
# 7 "cilcode.tmp/ex22.c"
int main(void)
{


  {
# 9 "cilcode.tmp/ex22.c"
  printf((char const * __restrict )"Hello world\n");
# 10 "cilcode.tmp/ex22.c"
  return (0);
}
}
