;; Function main (main, funcdef_no=11, decl_uid=2234, symbol_order=11) (executed once)
  
  main ()
  {
    <bb 2>:
    __builtin_puts (&"Coucou !"[0]);
    return 1;
  
  }