[{ s =
   (DirectiveStmt
      { d = (ImportAll (_, (FileName ("<iostream>", _)), _)); d_attrs = [] });
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("main", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (FuncDef
           { fkind = (Function, _); fparams = (_, [], _);
             frettype =
             (Some { t =
                     (TyN
                        (Id (("int", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type = ref (None); id_svalue = ref (Unknown);
                             id_flags = ref (0); id_info_id = _ }
                           )));
                     t_attrs = [] });
             fbody =
             (FBStmt
                { s =
                  (Block
                     (_,
                      [{ s =
                         (ExprStmt (
                            { e =
                              (Call (
                                 { e = (Special ((Op LSL), _)); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> },
                                 (_,
                                  [(Arg
                                      { e =
                                        (N
                                           (IdQualified
                                              { name_last =
                                                (("cout", _), None);
                                                name_middle =
                                                (Some (QDots
                                                         [(("std", _), None)]));
                                                name_top = None;
                                                name_info =
                                                { id_resolved = ref (None);
                                                  id_resolved_alternatives =
                                                  ref ([]);
                                                  id_type = ref (None);
                                                  id_svalue = ref (Unknown);
                                                  id_flags = ref (0);
                                                  id_info_id = _ }
                                                }));
                                        e_id = 0; e_range = None;
                                        is_implicit_return = false;
                                        facts = <opaque> });
                                    (Arg
                                       { e =
                                         (L
                                            (String
                                               (_, ("Hello World!", _), _)));
                                         e_id = 0; e_range = None;
                                         is_implicit_return = false;
                                         facts = <opaque> })
                                    ],
                                  _)
                                 ));
                              e_id = 0; e_range = None;
                              is_implicit_return = false; facts = <opaque> },
                            _));
                         s_range = None };
                        { s =
                          (Return (_,
                             (Some { e = (L (Int ((Some 0L), _))); e_id = 0;
                                     e_range = None;
                                     is_implicit_return = false;
                                     facts = <opaque> }),
                             _));
                          s_range = None }
                        ],
                      _));
                  s_range = None })
             })));
    s_range = None }
  ]