;; Function main (main, funcdef_no=11, decl_uid=2234, symbol_order=11) (executed once)

main ()
{
  <bb 2>:
  __builtin_puts (&"Coucou !"[0]);
  return 1;

}